一级黄色片免费播放|中国黄色视频播放片|日本三级a|可以直接考播黄片影视免费一级毛片

高級搜索

留言板

尊敬的讀者、作者、審稿人, 關(guān)于本刊的投稿、審稿、編輯和出版的任何問題, 您可以本頁添加留言。我們將盡快給您答復(fù)。謝謝您的支持!

姓名
郵箱
手機號碼
標題
留言內(nèi)容
驗證碼

時序電路的冗余狀態(tài)變換確認研究

何新華,  蔡紅柳,  王維峰

何新華, 蔡紅柳, 王維峰. 時序電路的冗余狀態(tài)變換確認研究[J]. 電子與信息學(xué)報, 1999, 21(1): 141-144.
引用本文: 何新華, 蔡紅柳, 王維峰. 時序電路的冗余狀態(tài)變換確認研究[J]. 電子與信息學(xué)報, 1999, 21(1): 141-144.
He Xinhua, Cai Hongliu, Wang Weifeng. STATE TRANSITION REDUNDANCE IDENTIFICATION[J]. Journal of Electronics & Information Technology, 1999, 21(1): 141-144.
Citation: He Xinhua, Cai Hongliu, Wang Weifeng. STATE TRANSITION REDUNDANCE IDENTIFICATION[J]. Journal of Electronics & Information Technology, 1999, 21(1): 141-144.

時序電路的冗余狀態(tài)變換確認研究

STATE TRANSITION REDUNDANCE IDENTIFICATION

  • 摘要: 本文以狀態(tài)跳變圖為基礎(chǔ),深入分析冗余變換與非法變換的特征,提出結(jié)構(gòu)冗余和功能冗余的概念,并討論了可測、不可測故障與冗余之間的聯(lián)系。最后結(jié)合驗證和測試生成,提出狀態(tài)冗余的隱含遍歷確認策略。
    Abstract: The BDD (Binary Decision Diagram) is very important for representing synchronous circuits. After analyzing and reducing the BDD, the state traversing is proposed on the basis of collapsing of input, routes and states on STG. Finally, the verification for the non-reset circuits has been described.
    • HTML全文
  • Cho H, Hachteland G D. Fast sequential ATPG based on implicit state enumeration. ITC91 1991, 67-74.[2]Calazans N. Advanced ordered and manipulation tecniques for BDD. DA92, 1992, 452-457.
  • 加載中
計量
  • 文章訪問數(shù):  2011
  • HTML全文瀏覽量:  77
  • PDF下載量:  553
  • 被引次數(shù): 0
出版歷程
  • 收稿日期:  1996-05-14
  • 修回日期:  1998-01-14
  • 刊出日期:  1999-01-19

目錄

    /

    返回文章
    返回