高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

时序电路的状态验证研究与设计

何新华 吕昌龄 宫云战

何新华, 吕昌龄, 宫云战. 时序电路的状态验证研究与设计[J]. 电子与信息学报, 1997, 19(4): 532-537.
引用本文: 何新华, 吕昌龄, 宫云战. 时序电路的状态验证研究与设计[J]. 电子与信息学报, 1997, 19(4): 532-537.
He Xinhua, Lu Changling, Gong Yunzhan. VERIFICATION DESIGNING FOR SYNCHRONOUS CIRCUITS[J]. Journal of Electronics & Information Technology, 1997, 19(4): 532-537.
Citation: He Xinhua, Lu Changling, Gong Yunzhan. VERIFICATION DESIGNING FOR SYNCHRONOUS CIRCUITS[J]. Journal of Electronics & Information Technology, 1997, 19(4): 532-537.

时序电路的状态验证研究与设计

VERIFICATION DESIGNING FOR SYNCHRONOUS CIRCUITS

  • 摘要: 采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
  • Odawara G.[J].et al. A logic verifier based on Boolean comparison, DA8.1986,:-. A logic verifier based on Boolean comparison, DA' target='_blank'>[2]Bose S.[J].Fisher A L. Automatic verification of synchronous circuits using symbolic logic simulation and temporal logic, IFIP9.1990,:-Touati H J.[J].et al.Implicit state enumeration of finite state machine using BDDs, ICCAD9.1990,:-.Implicit state enumeration of finite state machine using BDD' target='_blank'>
  • 加载中
计量
  • 文章访问数:  1805
  • HTML全文浏览量:  106
  • PDF下载量:  340
  • 被引次数: 0
出版历程
  • 收稿日期:  1995-03-06
  • 修回日期:  1995-10-31
  • 刊出日期:  1997-07-19

目录

    /

    返回文章
    返回