WEKO3
アイテム
論理接続照合の一手法
https://ipsj.ixsq.nii.ac.jp/records/28343
https://ipsj.ixsq.nii.ac.jp/records/283431f2bbe23-45d9-40dd-927c-7986e5308eba
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1988 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1988-10-28 | |||||||
タイトル | ||||||||
タイトル | 論理接続照合の一手法 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | AN ALGORITHM FOR LOGIC INTERCONNECTION VERIFICATION | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
松下電器産業(株)半導体研究センター | ||||||||
著者所属 | ||||||||
松下電器産業(株)半導体研究センター | ||||||||
著者所属 | ||||||||
松下電器産業(株)半導体研究センター | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Semiconductor Research Center, Matsushita Electric Industrial Co., Ltd. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Semiconductor Research Center, Matsushita Electric Industrial Co., Ltd. | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Semiconductor Research Center, Matsushita Electric Industrial Co., Ltd. | ||||||||
著者名 |
田中, 節子
× 田中, 節子
|
|||||||
著者名(英) |
Setsuko, Tanaka
× Setsuko, Tanaka
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Connection Condition Flag (CCF)を利用した論理接続検証の発見的手法について報告する。グラフ同形判定を利用した論理接続照合手法においては、グラフの頂点及び枝を、対象とするグラフと1対1に対応づける際の効率が問題となる。CCFは固有化された頂点からの距離と頂点の固有名を表現し、これを頂点のラベルとして使用することにより、論理回路の接続関係をすべて簡潔に表現することができる。我々は、CCFを導入することにより対応付けとエラー箇所の限定が容易に行える発見的手法を開発した。さらに本手法では、相互関係の不明確で重複したエラー情報を分類統合することにより、的確なエラー出力を行うことも可能である。実験結果についても報告する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | A new heuristic algorithm for logic interconnection verification, which uses connection condition flag (CCF), is described. In logic interconnection verification using graph-isomorphism, it is important how efficiently vertices and edges can be binded. CCF expresses distances from binded vertices and properties of vertices. By using CCF as labels of vertices, all the interconnections can be expressed simply. We have developed the new algorithm which can bind and restricts error points easily. In addition, this algorithm can classify complicated error informations of which relations are not clear, and make them into a proper error report. Experimental results are also described. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11451459 | |||||||
書誌情報 |
情報処理学会研究報告システムLSI設計技術(SLDM) 巻 1988, 号 78(1988-SLDM-044), p. 25-33, 発行日 1988-10-28 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |