From Algebraic Semantics to Denotational Semantics for Verilog.

Huibiao Zhu, Jifeng He, Jonathan P. Bowen

Browse the full ICECCS paper archive.