機能設計支援システムOZにおける論理検証手法

スポンサーリンク

概要

論文の詳細を見る
コンピュータ設計の初期段階である機能設計において、回路の特性を考慮し様々な形式の回路表現を用いた設計図面が作成される。つまり、制御系回路はフローチャートや状態遷移図で表現し、データパス系回路はブロック図で表現された設計図面が、作成されることとなる。本稿では、それらの設計図面を入力とし、直接論理シミュレーションを行いその結果を設計図面に表示するOZシミュレータについて報告する。
一般社団法人情報処理学会の論文
1992-09-28

著者

関連論文

スポンサーリンク