Abstract State Machines




ASM Studies


Citation: Hisashi Sasaki, Kazunori Mizushima, and Takeshi Sasaki, "Semantic Validation of VHDL-AMS by an Abstract State Machine", in Proceedings of BMAS'97 (IEEE/VIUF International Workshop on Behavioral Modeling and Simulation), Arlington, VA, October 20-21, 1997, 61-68.
Summary: The paper extends the ASM models for VHDL'93 to provide a rigorous definition of VHDL-AMS following the IEEE Language Reference Manual for the analogue extension of VHDL.
Subjects: VHDL
Download: PostScript, PDF, Compressed PostScript
Notes: See the VHDL'93 paper on which this is based, as well as extensions dealing with dynamic equation scheduling and attribute grammars.