統合論理設計支援システムILOSにおける論理検証ツールEVERY4

概要

論文の詳細を見る
最近の論理装置は大規模化され複雑さを増してきている。この種の論理装置の開発を短期間で行うためには、開発の初期段階において、少しでも多くの設計ミスを取り除く必要があり、そのために高性能で使い勝手の良い論理検証システムが不可欠である。LSI化された論理装置を開発する場合、装置設計者が最も期待する論理検証方法は、装置全体のシミュレーションモデルを作成し、装置としての動作を試験する方法である。しかし、この検証方法は多大なコンピュータリソースと長大な検証期間を必要とする。従って、設計の初期段階でこの方法を使用することは、逆に設計効率の低下をまねく恐れがある。このため設計したばかりの回路を、即座に論理検証できる設計環境が必要となる。しかし、回路の一部分だけで論理検証を行おうとすると、回路の切り口でのテストパターンを準備する必要があり、このための十分なテストパターンを作成することは、装置設計者に大きな負担を与える。またシミュレーションの結果を目視チェックするというわずらわしさも伴う。このような状況に対応するために、筆者らはLSIを効率良く論理検証するシステムを、既にメインフレーム上に構築し、実用に供しているが、今回、更にこのシステムの運用性を向上させ、統合的な論理設計支援環境を実現するために当社のEWS4800シリーズ上に論理検証システムEVERY4を開発した。
一般社団法人情報処理学会の論文
1989-03-15

統合論理設計支援システムILOSにおける論理検証ツールEVERY4

スポンサーリンク

概要

著者

関連論文

スポンサーリンク