タイミング検証に適した系列集合論理シミュレータについて

スポンサーリンク

概要

論文の詳細を見る
論理回路のタイミング仕様は通常タイミングチャートで与えられる。また通常は論理回路の動作を離散時間上で考えるので、タイミングチャートの意味を系列集合として与えることができる。よって、タイミング検証では、タイミングチャートに対応する系列の集合が、与えられた論理回路で正しく実現されているかどうかの判定を行えば良い。しかし、これまでは、タイミングチャートに対応する系列集合から特徴的な系列を選び、その系列に対して諭理シミュレータで検査されるだけであり、設計誤りを見逃す危険があった。ここでは、系列の集合に対して直接論理回路の動作を模倣し、タイミング検証を行う系列集合論理シミュレータについて述べる。これにより、タイミングチャートで表わされたタイミング仕様を漏れなくかつ効率的に検証できる。
一般社団法人情報処理学会の論文
1986-10-01

著者

関連論文

もっと見る

スポンサーリンク