A-3-11 LSI開発における形式的検証手法の適用

スポンサーリンク

概要

• 論文の詳細を見る
• 2001-03-07

著者

• 鈴木 賢司

  富士通株式会社

• 中原 英利

  富士通ディジタル・テクノロジ(株)

• 興野 貴愛

  富士通ディジタル・テクノロジ(株)

関連論文

• A-3-11 LSI開発における形式的検証手法の適用
• A-71 機能記述言語によるシステム・シミュレーションを適用したASIC開発手法(A-3. VLSI設計技術,一般講演)

スポンサーリンク