@inproceedings{887581f5f9104eb4825accd0aafc4634,
title = "Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics",
abstract = "This paper investigates three significant questions of Verilog{\textquoteright}s operational semantics: soundness, completeness and non-redundancy. Our understanding for these three questions is denotational-based. We provide an operational semantics for Verilog and prove that our operational semantics is sound, complete and non-redundant.",
author = "Zhu Huibiao and Bowen, \{Jonathan P.\} and He Jifeng",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 4th International Conference on Formal Engineering Methods, ICFEM 2002 ; Conference date: 21-10-2002 Through 25-10-2002",
year = "2002",
doi = "10.1007/3-540-36103-0\_61",
language = "英语",
isbn = "9783540000297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "600--612",
editor = "Chris George and Huaikou Miao",
booktitle = "Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Proceedings",
address = "德国",
}