Abstract State Machines




ASM Studies

VHDL and Verilog

Citation: Hisashi Sasaki, "A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstract State Machine", Proceedings of DATE'99 (Design, Automation and Test in Europe), ICM Munich, Germany, March 9-12, 1999.
Summary: A formal semantics for Verilog-HDL and VHDL focusing on the simulation model. The semantics presented is faithful to the language reference manual and is expected to become a first step towards semantic interoperability analysis on multi-semantic domains such as Verilog-AMS and VHDL-AMS.
Subjects: VHDL
Download: PostScript, PDF, Compressed PostScript