论文信息 - The semantics of behavioral VHDL '93 descriptions

The semantics of behavioral VHDL '93 descriptions

We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assignment statements. We present a VHDL interpreter in the form of rules of a concurrent evolving algebra which faithfully re ects and supports the view given in the VHDL'93 standard language reference manual.

Wolfgang Müller | Egon Börger | Uwe Glässer

[1] Ashraf Salem,et al. Formal semantics of VHDL timing constructs , 1992 .

[2] John Van Tassel. Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant , 1993 .

[3] Wolfgang Mueller. Approaching the Denotational Semantics of Behavioral VHDL Descriptions , 1993 .

[4] Bernhard Josko,et al. Specification and verification of VHDL-based system-level hardware designs , 1995, Specification and validation methods.

[5] José Manuel Colom,et al. Toward a formal semantics of IEEE Std. VHDL 1076 , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[6] Karen C. Davis. A Denotational Definition of the VHDL Simulation Kernel , 1993, CHDL.

[7] Ashrag Mohamed El-Farghly Salem. Vérification formelle des circuits digitaux décrits en VHDL , 1992 .

[8] E. K. Gannett,et al. THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS , 1965 .

[9] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.