@inproceedings{d4deaa5f20774bd193fa5c684f299eca,
title = "From operational semantics to denotational semantics for verilog",
abstract = "This paper presents the derivation of a denotational semantics from an operational semantics for a subset of the widely used hardware description language Verilog. Our aim is to build an equivalence between the operational and denotational semantics. We propose a discrete time semantic model for Verilog. Algebraic laws are also investigated in this paper, with the ultimate aim of providing a unified set of semantic views for Verilog.",
author = "Zhu Huibiao and Bowen, \{Jonathan P.\} and He Jifeng",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001 held jointly with the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009 ; Conference date: 04-09-2001 Through 07-09-2001",
year = "2001",
doi = "10.1007/3-540-44798-9\_34",
language = "英语",
isbn = "3540425411",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "449--464",
editor = "Tiziana Margaria and Tom Melham",
booktitle = "Correct Hardware Design and Verification Methods - 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Proceedings",
address = "德国",
}