Abstract State Machines




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.