Huibiao Zhu, Jifeng He, Jonathan P. Bowen. From Algebraic Semantics to Denotational Semantics for Verilog. In 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. pages 139-151, IEEE Computer Society, 2006. [doi]
Abstract is missing.