高级搜索

留言板

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

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

使用布尔可满足性的组合电路等价性验证算法

郑飞君 严晓浪 葛海通 杨军

郑飞君, 严晓浪, 葛海通, 杨军. 使用布尔可满足性的组合电路等价性验证算法[J]. 电子与信息学报, 2005, 27(4): 651-654.
引用本文: 郑飞君, 严晓浪, 葛海通, 杨军. 使用布尔可满足性的组合电路等价性验证算法[J]. 电子与信息学报, 2005, 27(4): 651-654.
Zheng Fei-jun, Yan Xiao-lang, Ge Hai-tong, Yang Jun . Using Boolean Satisfiability for Combinational Equivalence Checking[J]. Journal of Electronics and Information Technology, 2005, 27(4): 651-654.
Citation: Zheng Fei-jun, Yan Xiao-lang, Ge Hai-tong, Yang Jun . Using Boolean Satisfiability for Combinational Equivalence Checking[J]. Journal of Electronics and Information Technology, 2005, 27(4): 651-654.

使用布尔可满足性的组合电路等价性验证算法

Using Boolean Satisfiability for Combinational Equivalence Checking

  • 计量
    • 文章访问数:  1932
    • HTML全文浏览量:  33
    • PDF下载量:  916
    • 被引次数: 0
    出版历程
    • 收稿日期:  2003-11-04
    • 修回日期:  2004-03-02
    • 刊出日期:  2005-04-19

    目录

      /

      返回文章
      返回

      官方微信,欢迎关注