Formal semantics of UDL/I and its applications to CAD/DA tools

Hiroto Yasuura, Nagisa Ishiura

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

抄録

UDL/I is a hardware design language for ASIC design developed in Japanese LSI design language standardization project. A formal semantics of UDL/I is presented. There is no established way to define semantics of hardware design languages, because there is no general computation model for hardware design languages. A definition method of formal semantics for UDL/I and semantics suitable for a standard language are developed. The basic idea is that the semantics of the language should be defined independently of simulators. The language provides an abstract model of hardware. The role of the language designer is to provide an abstract model of hardware which is natural and general for hardware designers and CAD engineers. The authors introduce a novel behavior model of hardware and define the semantics with nondeterministic feature.

本文言語英語
ホスト出版物のタイトルProceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors
出版社Publ by IEEE
ページ90-94
ページ数5
ISBN(印刷版)O81862079X
出版ステータス出版済み - 9 1990
外部発表はい
イベントProceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90 - Cambridge, MA, USA
継続期間: 9 17 19909 19 1990

その他

その他Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors - ICCD '90
CityCambridge, MA, USA
Period9/17/909/19/90

All Science Journal Classification (ASJC) codes

  • ハードウェアとアーキテクチャ
  • 電子工学および電気工学

フィンガープリント

「Formal semantics of UDL/I and its applications to CAD/DA tools」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル