二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。 A valid description of a Binary Decision Diagram (BDD) will greatly increase the efficiency of verification and test generation. According to the characteristics of the circuit structure, based on the standard door BDD, from the original input to output, through step by step splicing, very effective to complete the circuit BDD structure. In addition, according to the needs of verification and testing, a method of obtaining a valid path through the definition of a considerable value is proposed during the BDD splicing process. Experiments show that the method proposed by the author is simple, intuitive and effective.