[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

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

Bibliographic Information

Other Title
  • Design Verification of One-Chip CPU Processor(2)Comparative Verification between Functional Model and Logical Model

Search this article

Abstract

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

Journal

Details

Report a problem

Back to top