面向多输出电路的BDD拼接构造

MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN

二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。

Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function. Based on the BDD of standard gate, recursive appending from primary input to output for BDD construction is proposed. Several benchmark circuits is shown to verify this method.