NES: The behavioral model for the formal semantics of a hardware design language UDL/I

Nagisa Ishiura, Hirota Yasuura, Shuzo Yajima

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

A new behavioral model of hardware, the NES (nondeterministic event sequence) model, is described. It was developed for the purpose of defining formal semantics of the gate level and the register transfer level hardware description languages. The NES model is a generalization of event driven simulation and can be a basis of synthesis and verification as well as simulation. Basic concepts, formal definition, and a description method of the NES model are introduced.

本文言語英語
ホスト出版物のタイトル27th ACM/IEEE Design Automation Conference. Proceedings 1990
出版社Publ by IEEE
ページ8-13
ページ数6
ISBN(印刷版)081869650X
出版ステータス出版済み - 12 1 1990
外部発表はい
イベント27th ACM/IEEE Design Automation Conference - Orlando, FL, USA
継続期間: 6 24 19906 28 1990

出版物シリーズ

名前27th ACM/IEEE Design Automation Conference. Proceedings 1990

その他

その他27th ACM/IEEE Design Automation Conference
CityOrlando, FL, USA
Period6/24/906/28/90

All Science Journal Classification (ASJC) codes

  • Engineering(all)

フィンガープリント 「NES: The behavioral model for the formal semantics of a hardware design language UDL/I」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル