Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. Müller. The Formal Simulation Semantics of SystemVerilog. In Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings. pages 568-578, ECSI, 2004. [doi]
@inproceedings{ZambaldiEKM04,
title = {The Formal Simulation Semantics of SystemVerilog},
author = {Martin Zambaldi and Wolfgang Ecker and T. Kruse and W. Müller},
year = {2004},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=614},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/ZambaldiEKM04},
cites = {0},
citedby = {0},
pages = {568-578},
booktitle = {Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings},
publisher = {ECSI},
}