1チップ・マイクロコンピュータM16の開発(2) : パイプラインの状態を考慮した機能検証

概要

論文の詳細を見る
LSIの大規模化に伴い論理合成や自動配置配線などの各種の設計支援ツールが整備され、インプリメントする機能に適する種々の設計手法を適切に選択することにより機能に対して相対的に設計期間を短縮することが可能になりつつある。また仕様や機能の設計においてもハードウエア記述言語で「シミュレーション可能な」仕様書を記述することにより、論理設計を待つことなく実際的な検証ができるようになった。このように複雑な機能を持つLSIの開発期間が短縮され、開発初期から検証が可能な設計環境においては、初期の機能モデル開発に同期して検証品質を向上させることが要求される。しかし、パイプライン処理方式のプロセッサでは命令のシーケンスやメモリアクセスの競合状態に依存する複雑な内部状態を持つため、開発の初期段階では検証が不十分になりがちであった。今回1チップのマイクロコンピュータ「M16」を開発するにあたり、開発の比較的早い段階で機能モデル上でパイプラインの状態を考慮した機能検証をおこない検証品質の向上を試みた。
一般社団法人情報処理学会の論文
1993-09-27