Clean formal semantics for VHDL

Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos. Clean formal semantics for VHDL. In Robert Werner, editor, EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28 - March 3, 1994, Paris, France. pages 641-647, IEEE Computer Society, 1994.

Abstract

Abstract is missing.