Huibiao Zhu, Jonathan P. Bowen, Jifeng He. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 600-612, Springer, 2002. [doi]
Abstract is missing.