An Animatable Operational Semantics of the Verilog Hardware Description Language.

Jonathan P. Bowen Jifeng He Qiwen Xu An Animatable Operational Semantics of the Verilog Hardware Description Language. 199-208 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220199abs.htm db/conf/icfem/icfem2000.html#BowenHX00