The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Stanford, California
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
pp: 139-151
Huibiao Zhu , East China Normal University
Jifeng He , East China Normal University
Jonathan P. Bowen , London South Bank University, UK
ABSTRACT
This paper considers how the algebraic semantics for Verilog relates with its denotational semantics. Our approach is to derive the denotational semantics from the algebraic semantics. We first present the algebraic laws for Verilog. Every program can be expressed as a guarded choice that can model the execution of a program. In order to investigate the parallel expansion laws, a sequence is introduced, which indicates the instantaneous action is due to which exact parallel component. A normal form is defined for each program by using the locality sequence. We provide a strategy for deriving the denotational semantics based on the algebraic normal form. Using the strategy, the denotational semantics for every program can be calculated. Program equivalence can also be explored by using the derived denotational semantics.
INDEX TERMS
null
CITATION

J. He, H. Zhu and J. P. Bowen, "From Algebraic Semantics to Denotational Semantics for Verilog," 11th IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Stanford, CA, 2006, pp. 139-151.
doi:10.1109/ICECCS.2006.1690363
90 ms
(Ver 3.3 (11022016))