From operational semantics to denotational semantics for Verilog (2001)

by Huibiao Zhu, Jonathan P Bowen, Jifeng He
Venue:In CHARME ’01: Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods