時相論理による仕様記述支援システム

スポンサーリンク

概要

論文の詳細を見る
仕様記述、論理検証および論理合成に関する様々なツールの開発を行なってきた。しかし、これらのツールを実際の設計に対して適用しようとすると、まだ次のような問題が残されている。(1)慣れていない設計者にとって論理的な仕様記述は必ずしも容易ではない。(2)論理検証および論理合成システムにとって、大規模回路を扱うことは困難である。ここでは、これらの問題のうち(1)を解決する方法として、時相論理による仕様記述を支援するツールを開発したので報告する。
一般社団法人情報処理学会の論文
1989-03-15

著者

関連論文

もっと見る

スポンサーリンク