Title :
Formalising VERILOG
Author :
Jifeng, He ; Huibiao, Zhu
Author_Institution :
Int. Inst. for Software Technol., United Nations Univ., Macau
Abstract :
This paper defines a non-trivial subset of VERILOG using a Plotkin-style operational semantics. We discuss the algebraic properties of programs based on the notion of bisimulation
Keywords :
hardware description languages; programming language semantics; Plotkin-style operational semantics; VERILOG; algebraic properties; bisimulation; Computational modeling; Computer errors; Computer languages; Concurrent computing; Data structures; Hardware design languages; Libraries; Silicon; Time sharing computer systems; Very high speed integrated circuits;
Conference_Titel :
Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference on
Conference_Location :
Jounieh
Print_ISBN :
0-7803-6542-9
DOI :
10.1109/ICECS.2000.911568
