Kees G. W. Goossens. Reasoning about VHDL using operational and observational semantics. In Paolo Camurati, Hans Eveking, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings. Volume 987 of Lecture Notes in Computer Science, pages 311-327, Springer, 1995.
Abstract is missing.