高级搜索

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

何新华 宫云战 魏道政

引用本文: 何新华, 宫云战, 魏道政. 面向多输出电路的BDD拼接构造[J]. 电子与信息学报, 1997, 19(3): 356-360. shu
Citation:  He Xinhua, Gong Yunzhan, Wei Daozheng . MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN[J]. Journal of Electronics and Information Technology, 1997, 19(3): 356-360. shu

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

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

English

计量
  • PDF下载量:  359
  • 文章访问数:  1525
  • HTML全文浏览量:  3
文章相关
  • 收稿日期:  1995-03-06
  • 录用日期:  1995-10-03
  • 刊出日期:  1997-05-19
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

/

返回文章