元器件的验证、试验方法和结果的判定；

Verification and validation of components, method of testing and result analysis to determine.

youdao

在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。

In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.

youdao

文中给出该算法的可调度判定不等式，并且通过对经典任务集的调度结果，验证了算法的有效性和灵活性。

Schedulability test inequation of the algorithm is presented in the paper. The validity and the flexibility of the algorithm are proved through the analysis of classical task sets.

youdao