Deriving Operational Semantics from Denotational Semantics for Verilog.

Huibiao Zhu, Jonathan P. Bowen, Jifeng He

Browse the full APSEC paper archive.