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
Hardware/Software Partitioning in Verilog
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
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 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.