From Operational Semantics to Denotational Semantics for Verilog
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
The Semantic Challenge of Verilog HDL
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
An Animatable Operational Semantics of the Verilog Hardware Description Language
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Deriving Operational Semantics from Denotational Semantics for Verilog
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
A relational approach to an algebraic community: from paul erdős to he jifeng
Theories of Programming and Formal Methods
Hi-index | 0.00 |
This paper investigates three significant questions of Verilog'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.