1チップCPUプロセッサの設計検証(2)機能モデルと論理モデルの比較による一致検証

スポンサーリンク

概要

論文の詳細を見る
大規模化するマイクロプロセッサの開発において、設計検証はますます困難になっている。トップダウン設計が叫ばれてはいるものの、論理合成技術が未熟である現在においては、人手による論理設計に頼らざるを得ないというのが実情である。その際、仕様通りに設計されているということをいかにして検証するかということが問題となる。我々はこのたび、ビジネスコンピュータ用1チップCPUプロセッサをフルカスタム設計するにあたり、機能モデルと論理モデルという2つのモデルを開発した。その上で、両モデルの動作をクロック単位で比較する「一致検証」を導入し、論理検証では発見が困難なバグの検出および解析を行なった。本稿では、設計検証の手法、および一致検証の効果について報告する。また、表1にプロセッサの諸元を示す。
1993-03-01

著者

関連論文

もっと見る

スポンサーリンク