動作合成前後の設計記述に対する記号シミュレーションによる形式的等価性検証の検討 An Approach to Equivalence Checking by Symbolic Simulation between Behavioral and RTL Designs

この論文をさがす

著者

収録刊行物

  • 電子情報通信学会技術研究報告. VLD, VLSI設計技術  

    電子情報通信学会技術研究報告. VLD, VLSI設計技術 106(32), 7-12, 2006-05-05 

参考文献:  6件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID)
    10018153109
  • NII書誌ID(NCID)
    AN10013323
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • データ提供元
    CJP書誌 
ページトップへ