抄録
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.
本文言語 | 英語 |
---|---|
ページ(範囲) | 836-839 |
ページ数 | 4 |
ジャーナル | Proceedings - Design Automation Conference |
DOI | |
出版ステータス | 出版済み - 1989 |
外部発表 | はい |
イベント | 26th ACM/IEEE Design Automation Conference - Las Vegas, NV, USA 継続期間: 6月 25 1989 → 6月 29 1989 |
!!!All Science Journal Classification (ASJC) codes
- ハードウェアとアーキテクチャ
- 制御およびシステム工学