基于BDD的组合电路等价性检验

计算机科学 ›› 2007, Vol. 34 ›› Issue (3): 293-294.

• 计算机网络与信息安全 • 上一篇

基于BDD的组合电路等价性检验

李绍荣徐玉婷

电子科技大学光电信息学院,成都610054

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
电子科技大学青年科技基金资助项目.

LI Shao-Rong, XU Yu-Ting （College of Opto-electronic Information, UESTC of China, Chengdu 610054）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 本文分析了基于BDD的组合电路等价性检验；讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；然后给出了一种基于BDD的组合电路等价性检验方法。

关键词: 等价性验证二叉判定图组合电路

Abstract: This paper analyzes equivalence checking methods of combinational circuits based on binary decision diagram. The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs

Key words: Equivalence check, BDD, Combinational circuits

李绍荣徐玉婷. 基于BDD的组合电路等价性检验[J]. 计算机科学, 2007, 34(3): 293-294. https://doi.org/

LI Shao-Rong, XU Yu-Ting （College of Opto-electronic Information, UESTC of China, Chengdu 610054）. [J]. Computer Science, 2007, 34(3): 293-294. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于BDD的组合电路等价性检验

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0