Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

VHDL-AMS and Attribute Grammars


Citation: Takeshi Sasaki, Hisashi Sasaki, and Kazunori Mizushima, "Semantic Analysis of VHDL-AMS by Attribute Grammar", Proceedings of FDL'98 (Forum on Design Languages), Lausanne, Switzerland, September 6-10, 1998.
Summary: An extension of the ASM description of VHDL-AMS to provide a formal semantics of the VHDL Analog Mixed Signal extension by means of attribute grammars. The formulation treats both static and dynamic aspects of semantics and permits one to show equality of process behavior.
Subjects: VHDL
Download: PostScript, PDF, Compressed PostScript
Notes: See the original paper on VHDL-AMS.