Reasoning about VHDL and VHDL-AMS using Denotational Semantics

Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, María M. Larrondo-Petrie, Carlos Delgado Kloos. Reasoning about VHDL and VHDL-AMS using Denotational Semantics. In 1999 Design, Automation and Test in Europe (DATE 99), 9-12 March 1999, Munich, Germany. pages 346-352, IEEE Computer Society, 1999. [doi]

Authors

Peter T. Breuer

Identified as Peter T. Breuer
(University of Birmingham
)

Natividad Martínez Madrid

This author has not been identified. Look up 'Natividad Martínez Madrid' in Google

Jonathan P. Bowen

Identified as Jonathan P. Bowen

Robert B. France

This author has not been identified. It may be one of the following persons: Look up 'Robert B. France' in Google

María M. Larrondo-Petrie

This author has not been identified. Look up 'María M. Larrondo-Petrie' in Google

Carlos Delgado Kloos

This author has not been identified. Look up 'Carlos Delgado Kloos' in Google