Martin Zambaldi Wolfgang Ecker T. Kruse Wolfgang Müller 0003 The Formal Simulation Semantics of SystemVerilog. 568-578 2004 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=614 conf/fdl/2004 db/conf/fdl/fdl2004.html#ZambaldiEKM04