Denotational Semantics of a Synchronous VHDL Subset

Dominique Borrione, Ashraf M. Salem. Denotational Semantics of a Synchronous VHDL Subset. Formal Methods in System Design, 7(1/2):53-71, 1995.

Abstract

Abstract is missing.