An Animatable Operational Semantics of the Verilog Hardware Description Language.

Jonathan P. Bowen, Jifeng He, Qiwen Xu

Browse the full ICFEM paper archive.