From Operational Semantics to Denotational Semantics for Verilog (2001)
by
Huibiao Zhu
,
Jonathan P. Bowen
,
He Jifeng
| Venue: | Proc. CHARME 2001: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods |
| Citations: | 5 - 2 self |
BibTeX
@INPROCEEDINGS{Zhu01fromoperational,
author = {Huibiao Zhu and Jonathan P. Bowen and He Jifeng},
title = {From Operational Semantics to Denotational Semantics for Verilog},
booktitle = {Proc. CHARME 2001: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
year = {2001},
pages = {449--464},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
