| 基于标准门的BDD构造 |
| |
| 引用本文： | 何新华.基于标准门的BDD构造[J].装甲兵工程学院学报,1995(2). |
| |
| 作者姓名： | 何新华 |
| |
| 作者单位： | 装甲兵工程学院计算中心 北京100072 |
| |
| 基金项目： | 国家“八五”科技攻关项目(85—703—02—03) |
| |
| 摘 要： | 一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.
|
| 关 键 词： | BDD 节点 共享 变量 |
Gate-based BDD Construction |
| |
| He Xinhua.Gate-based BDD Construction[J].Journal of Armored Force Engineering Institute,1995(2). |
| |
| Authors: | He Xinhua |
| |
| Abstract: | A reduced and practical BDD(Binary Decision Diagram) has proven useful in manyapplications as an efficient data structure for representing and manipulating Boolean functions. Based on the BDD structure of standard gate, recrusive appending from primary inputto output for BDD construction is proposed. Several Benchmark circuits is shown to verifythis method. |
| |
| Keywords: | BDD vertex share variable |
| 本文献已被 CNKI 等数据库收录！ |
