非同期式プロセッサ TITAC-2 の検証とテスト

スポンサーリンク

概要

論文の詳細を見る
クロック分配に起因する同期式システム設計の限界を突破することを目指し、事象駆動原理に基づいた非同期式プロセッサが実用レベルの機能と規模で実現できることを実証するために、32ビット非同期式マイクロプロセッサ TITAC-2を設計した。一般に、論理システムが仕様どおりに正しく設計されていることを保証するためには、実現される論理 (機能) そのものの検証と、動作タイミングの検証が必要である。また、その設計に従って製造されたLSIチップが仕様どおりに正しく動作することを保証するためにテストが必要である。しかしながら、32ビットマイクロプロセッサのような大規模な非同期式システムに有効な設計検証およびテスト方式に関する研究はまだ十分ではなく、現段階では有効な方法か確立されているとは言えない状況にある。本稿では、TITAC-2の論理設計にあたって採用した設計検証方法とテスト方法について報告する。
社団法人情報処理学会の論文
1997-03-12

著者

関連論文

もっと見る

スポンサーリンク