回路図インタフェースにおける論理検証の一手法
スポンサーリンク
概要
- 論文の詳細を見る
LSI化を考慮していない論理回路図をインタフェースデータとしてカスタムLSI化する場合、レイアウトや性能を考慮したLSI用回路図に変更する必要がある。本稿では、論理回路図をLSI用回路図に変更する理由および論理回路図の変更作業の前後で誤りがないことを検証するための手法について述べる。
- 一般社団法人情報処理学会の論文
- 1990-03-14
LSI化を考慮していない論理回路図をインタフェースデータとしてカスタムLSI化する場合、レイアウトや性能を考慮したLSI用回路図に変更する必要がある。本稿では、論理回路図をLSI用回路図に変更する理由および論理回路図の変更作業の前後で誤りがないことを検証するための手法について述べる。