Subash Shankar, James R. Slagle. A polymodal semantics for VHDL. In Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, pages 88-105, Chapman & Hall, 1997.
Abstract is missing.