Semantics of a hardware design language for Japanese standardization

Hiroto Yasuura, Nagisa Ishiura

研究成果: ジャーナルへの寄稿会議記事査読

2 被引用数 (Scopus)


The authors propose a novel approach to the defining of the formal semantics of a hardware design language (HDL) in the Japanese LSI design language standardization project. The approach is to separate the definition of semantics from simulators. Since the semantics includes nondeterminism, it is possible to describe the vagueness of circuit behavior such as dispersion of delays without linguistic ambiguity. The authors introduce a new computation model of hardware behavior called the NES (nondeterministic event sequence) model. The NES model is a very simple model of computation in digital systems and provides an intuitive understanding of the concurrent behavior of HDL description without loss of mathematical strictness.

ジャーナルProceedings - Design Automation Conference
出版ステータス出版済み - 1989
イベント26th ACM/IEEE Design Automation Conference - Las Vegas, NV, USA
継続期間: 6月 25 19896月 29 1989

!!!All Science Journal Classification (ASJC) codes

  • ハードウェアとアーキテクチャ
  • 制御およびシステム工学


「Semantics of a hardware design language for Japanese standardization」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。