[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |