Huibiao Zhu, Jonathan P. Bowen, Jifeng He  Home/Search
Context Related
| jpbowen.com/pub/sbucism0108.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: myweb.lsbu.ac.uk/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. 1 (Update)
Context of citations to this paper: More
.... Duration Calculus [8] We have already investigated the derivation of denotational semantics from operational semantics for Verilog [10]. We also derived the operational semantics for Verilog from its denotational semantics [11] Regarding operational semantics, there are...
Cited by: More
Deriving Operational Semantics from Denotational Semantics.. - Zhu, Bowen, He (2001) (Correct)
From Operational Semantics to Denotational Semantics for Verilog - Zhu, Bowen, He (2001) (Correct)
Soundness, Completeness and Non-redundancy of Operational.. - Zhu, Bowen, He (2002) (Correct)
Active bibliography (related documents): More All
0.3: Towards an Algebraic Synthesis of Verilog - Iyoda, Jifeng (2001) (Correct)
0.2: A Complete Verification System for Timed RSL - Sul, al. (2003) (Correct)
0.2: A ProCoS Project Final Report: ESPRIT Basic Research project 7071 - Bowen, al. (1996) (Correct)
Similar documents based on text:
0.3: Accessibility and Usability Survey on UK and International.. - Micheloni, Bowen (2002) (Correct)
0.2: Experimental Evaluation of the Tolerance for Control-Flow Test .. - Kapoor, Bowen (2003) (Correct)
Related documents from co-citation: More All
3: An Operational Semantics of a Simulator Algorithm - Jifeng, Qiwen - 2000
3: An animatable operational semantics of the Verilog Hardware Description Language - Bowen, Jifeng et al.
3: Prentice Hall International Series in Computer Science (context) - Hoare, Processes - 1985
BibTeX entry: (Update)
Zhu Huibiao, J. P. Bowen and He Jifeng. From Operational Semantics to Denotational Semantics for Verilog. Proc. CHARME 2001: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Springer-Verlag, LNCS 2144, pp. 449-- 464, Livingston, Scotland, UK, September 2001. http://citeseer.ist.psu.edu/zhu01from.html More
@article{ huibiao01from,
author = "Zhu Huibiao and Jonathan P. Bowen and He Jifeng",
title = "From Operational Semantics to Denotational Semantics for Verilog",
journal = "Lecture Notes in Computer Science",
volume = "2144",
pages = "449--??",
year = "2001",
url = "citeseer.ist.psu.edu/zhu01from.html" }
Citations (may not include all citations):281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1991
103 Prentice Hall International Series in Computer Science (context) - Hoare, Jifeng et al. - 1998
90 Duration Calculus: Logical Foundations (context) - Hansen, Chaochen - 1997
76 IEEE Standard (context) - Hardware, based et al. - 1995
20 From CSP to Hybrid Systems (context) - Jifeng - 1994
13 Provably Correct Systems: Modelling of Communication languag.. (context) - Jifeng - 1994
11 From Algebra to Operational Semantics (context) - Hoare, Jifeng - 1993
8 A Denotational Semantics of Timed RSL using Duration Calculu.. - Li, Jifeng - 1999
8 An Animatable Operational Semantics of the VERILOG Hardware .. - Bowen, Jifeng et al. - 2000
7 An Operational Semantics of a Simulator Algorithm - Jifeng, Qiwen - 2000
6 Hardware Design Based on Verilog HDL (context) - Pace - 1998
4 Formalising VERILOG: Operational Semantics and Bisimulation (context) - Yongjian, Jifeng - 2000
4 IEEE Computer Society Press (context) - Jifeng, Huibiao et al. - 2000
4 Tenth Annual IEEE Symposium on Logic in Computer Science (context) - Gordon, Challenge et al. - 1995
4 A Semantics of Verilog using Duration Calculus (context) - Huibiao, Jifeng - 2000
1 BCS FACS 7th Refinement Workshop (context) - Chaochen, Hansen et al. - 1996
1 Cornerstones of Computing (context) - Jifeng, Qiwen et al. - 1999
Documents on the same site (http://myweb.lsbu.ac.uk/~bowenjp/publications.html): More
The Ethics of Safety-Critical Systems - Bowen (2000) (Correct)
Web Access to Cultural Heritage for the Disabled - Bowen (2003) (Correct)
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC