Precise timing verification of logic circuits under combined delay model

Shinji Kimura, Shigemi Kashima, Hiromasa Haneda

研究成果: Conference contribution

抄録

The paper proposes a combined delay model to manipulate the variance of the delay time of logic elements and a new timing verification method based on the theory of regular expressions. We focused on the hazard detection problem and the verification of asynchronous circuits, and show the effectiveness of our method with medium sized circuits including 100 elements or so.

本文言語English
ホスト出版物のタイトルIEEE/ACM International Conference on Computer-Aided Design
出版社Publ by IEEE
ページ526-529
ページ数4
ISBN(印刷版)0818630108, 9780818630101
DOI
出版ステータスPublished - 1992 1 1
外部発表はい
イベントIEEE/ACM International Conference on Computer-Aided Design - ICCAD '92 - Santa Clara, CA, USA
継続期間: 1992 11 81992 11 12

出版物シリーズ

名前IEEE/ACM International Conference on Computer-Aided Design

Other

OtherIEEE/ACM International Conference on Computer-Aided Design - ICCAD '92
CitySanta Clara, CA, USA
Period92/11/892/11/12

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「Precise timing verification of logic circuits under combined delay model」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル