Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.

Huibiao Zhu, Jonathan P. Bowen, Jifeng He

Browse the full ICFEM paper archive.