Emmanuelle Encrenaz. A Symbolic Relation for a Subset of VHDL 87 Descriptions and its Application to Symbolic Model Checking. 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 328-342, Springer, 1995.
Abstract is missing.