The semantic challenge of Verilog HDL
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 136-145
- https://doi.org/10.1109/lics.1995.523251
Abstract
The Verilog hardware description language (HDL) is widely used to model the structure and behaviour of digital systems ranging from simple hardware building blocks to complete systems. Its semantics is based an the scheduling of events and the propagation of changes. Different Verilog models of the same device are used during the design process and it is important that these be 'equivalent'; formal methods for ensuring this could be commercially significant. Unfortunately, there is very little theory available to help. This self-contained tutorial paper explains the semantics of Verilog informally and poses a number of logical and semantic problems that are intended to provoke further research. Any theory developed to support Verilog is likely to be useful for the analysis of the similar (but more complex) language VHDL.Keywords
This publication has 2 references indexed in Scilit:
- The Verilog® Hardware Description LanguagePublished by Springer Nature ,1995
- A Denotational Definition of the VHDL Simulation KernelPublished by Elsevier ,1993