講演抄録/キーワード |
講演名 |
2008-06-27 09:40
機能等価性情報を用いたRTL-GLパスマッピングの一手法 ○岩田大志・大竹哲史・藤原秀雄(奈良先端大) CAS2008-21 VLD2008-34 SIP2008-55 |
抄録 |
(和) |
論理合成やテストの際,回路のフォールスパスの情報を用いることで論理合成時間の短縮,回路面積の削減,テスト生成時間の短縮,過剰テストの緩和ができるといった利点がある.ゲートレベルでのフォールスパスの探索はパス数が膨大な大規模回路に対しては困難であるため,より高位の設計情報(RTLや高位合成情報)を利用した手法が提案されている.これまでに提案されている手法では,モジュール境界保存型論理合成を用いることでRTLパスとゲートレベルパスの対応を保証しているが,本稿ではモジュールの境界を保存しない論理合成を行う場合でもRTLパスとゲートレベルパスの対応関係を得る方法を提案する.具体的には,RTLパスを構成するビットごとのRTL信号線とゲートレベルパス上の信号線との対応をとり,その情報を利用することでパスの対応をとる.さらに,提案手法の実装方法について述べ,実験結果として,対応をとることができたRTLパスの割合であるパスマッピング率と誤判定率を示す. |
(英) |
Information on false paths in a circuit is useful for design and test. The use of this information may contribute not only in reducing the time required for logic synthesis, the area, the test generation time and the test application time of the circuit but also in alleviating the over-testing. Since identification of false paths at gate-level is hard for large circuits with huge number of paths, several methods using high-level design information, e.g. register transfer level (RTL) structural information or high-level synthesis information, have been proposed. These methods are effective only if the correspondence between paths at RTL and those at gate-level is available. Until now, the correspondence has been established only by module interface preserving-logic synthesis. In this paper, we propose a method of mapping an RTL path to the gate-level paths without restricting the logic synthesis. The method first maps each bit slice RTL signal line of an RTL path to a gate level signal line by considering the functional equivalence of those signal lines. Then the RTL path are mapped to gate level paths using these correspondences. |
キーワード |
(和) |
パスマッピング / レジスタ転送レベル / ゲートレベル / 機能等価性 / 故障診断 / / / |
(英) |
path mapping / register transfer level / gate-level / functional equivalence / fault diagnosis / / / |
文献情報 |
信学技報, vol. 108, no. 107, VLD2008-34, pp. 13-18, 2008年6月. |
資料番号 |
VLD2008-34 |
発行日 |
2008-06-20 (CAS, VLD, SIP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2008-21 VLD2008-34 SIP2008-55 |
|