文献

J-GLOBAL ID：202002212521128652   整理番号：20A1230869

より高いカーディナリティからより低いカーディナリティまでの冗長な多重故障を除去することによる論理最適化法

A Logic Optimization Method by Eliminating Redundant Multiple Faults from Higher to Lower Cardinality

著者 (3件)： Wang Peikun (Electrical Engineering and Information Systems, The University of Tokyo) ,  Gharehbaghi Amir Masaud (VLSI Design and Education Center, The University of Tokyo) ,  Fujita Masahiro (VLSI Design and Education Center, The University of Tokyo)
資料名： IPSJ Transactions on System LSI Design Methodology (Web)  (IPSJ Transactions on System LSI Design Methodology (Web))
巻： 13  ページ： 35-38(J-STAGE)  発行年： 2020年 
JST資料番号： U0110A  ISSN： 1882-6687  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 本論文では,回路の冗長性を除去するための論理最適化法を提案した。冗長な多重故障を発見するために,インクリメンタルな自動テストパターン生成法を用いた。できるだけ多くの冗長性を除去するために,最初に冗長な単一故障を取り除く代わりに,より高いカーディナリティからより低いカーディナリティまでの冗長故障を明らかにした。実験では提案した方法が合成ツールSISにおける冗長性除去コマンドと比較して,より多くの冗長性をうまく除去できることを証明した。(翻訳著者抄録)

シソーラス用語： *故障診断 ,  *故障 ,  冗長性 ,  *最適化 ,  アルゴリズム ,  *テストパターン ,  *回路試験 ,  実証実験
準シソーラス用語： インクリメンタルアルゴリズム ,  多重故障

著者キーワード (3件)： 論理最適化 ,  冗長多重故障 ,  インクリメンタルな故障選択法

分類 (3件)： 信頼性  (KB04040H) ,  その他のオペレーションズリサーチの手法  (KA03070E) ,  CAD,CAM  (JE10000A)

引用文献 (12件)：

• [1] Sentovich, E.M. et al.: SIS: A system for sequential circuit synthesis, Memorandum No.UCB/ERL M92/41 (1992).
• [2] Brayton, R. and Mishchenko, A.: ABC: An academic industrial-strength verification tool, International Conference on Computer Aided Verification, Springer, Berlin, Heidelberg (2010).
• [3] Entrena, L.A. and Cheng, K.-T.: Combinational and sequential logic optimization by redundancy addition and removal, IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, Vol.14, No.7, pp.909-916 (1995).
• [4] Shin, D. and Gupta, S.K.: A new circuit simplification method for error tolerant applications, <i>2011 Design, Automation & Test in Europe</i>, IEEE (2011).
• [5] Wang, P. et al.: An ATPG method for double Stuck-At faults by analyzing propagation paths of single faults, IEEE Trans. Circuits and Systems I: Regular Papers, Vol.65, No.3, pp.1063-1074 (2017).

タイトルに関連する用語 (4件)： 多重 ,  故障 ,  論理 ,  最適化