Huibiao Zhu, Jonathan P. Bowen, Jifeng He  Home/Search
Context Related
Links: ACM DBLP | jpbowen.com/pub/apsec2001.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 an operational semantics from a denotational semantics for a subset of the widely used hardware description language Verilog. Our aim is to build equivalence between the operational and denotational semantics. We propose a discrete denotational semantic model for Verilog. A phase semantics is provided for each type of transition in order to derive the operational semantics. (Update)
Context of citations to this paper: More
.... 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 three typical questions we should face: 1) By which rule can we say our operational...
Cited by: More
Deriving Operational Semantics from Denotational Semantics.. - Zhu, Bowen, He (2001) (Correct)
Soundness, Completeness and Non-redundancy of Operational.. - Zhu, Bowen, He (2002) (Correct)
Similar documents (at the sentence level):
5.0%: From Operational Semantics to Denotational Semantics for Verilog - Zhu, Bowen, He (2001) (Correct)
Active bibliography (related documents): More All
0.1: Operational Semantics and Bisimulation - Li, He (2001) (Correct)
0.1: Towards an Algebraic Synthesis of Verilog - Iyoda, Jifeng (2001) (Correct)
0.1: Real-Time Systems Development with Duration Calculi: an Overview - Van Hung (2002) (Correct)
Similar documents based on text: More All
0.5: An Animatable Operational Semantics of the Verilog Hardware.. - Bowen, He, Xu (2000) (Correct)
0.5: FORTEST: Formal Methods and Testing - Bowen, Bogdanov, Clark, Harman.. (2002) (Correct)
0.4: A DC-based Semantics for Verilog - Zhu, He (2000) (Correct)
Related documents from co-citation: More All
2: From Operational Semantics to Denotational Semantics for Verilog - Huibiao, Bowen et al. - 2001
2: An Operational Semantics of a Simulator Algorithm - Jifeng, Qiwen - 2000
2: Prentice Hall International Series in Computer Science (context) - Hoare, Processes - 1985
BibTeX entry: (Update)
Zhu Huibiao, J. P. Bowen and He Jifeng. Deriving Operational Semantics from Denotational Semantics for Verilog. Proc. APSEC 2001: 8th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, pp. 177--184, Macau, China, December 2001. http://citeseer.ist.psu.edu/zhu01deriving.html More
@misc{ huibiao01deriving,
author = "Z. Huibiao and J. Bowen and H. Jifeng",
title = "Deriving Operational Semantics from Denotational Semantics for Verilog",
text = "Zhu Huibiao, J. P. Bowen and He Jifeng. Deriving Operational Semantics
from Denotational Semantics for Verilog. Proc. APSEC 2001: 8th Asia-Pacific
Software Engineering Conference, IEEE Computer Society Press, pp. 177--184,
Macau, China, December 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/zhu01deriving.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
76 IEEE Standard (context) - Hardware, based et al. - 1995
8 An Animatable Operational Semantics of the VERILOG Hardware .. - Bowen, Jifeng et al. - 2000 ACM DBLP
7 An Operational Semantics of a Simulator Algorithm - Jifeng, Qiwen - 2000 DBLP
4 Tenth Annual IEEE Symposium on Logic in Computer Science (context) - Gordon, Challenge et al. - 1995
4 Formalising VERILOG: Operational Semantics and Bisimulation (context) - Yongjian, Jifeng - 2000
4 IEEE Computer Society Press (context) - Jifeng, Huibiao et al. - 2000
4 A Semantics of Verilog using Duration Calculus (context) - Huibiao, Jifeng - 2000
3 From Operational Semantics to Denotational Semantics for Ver.. - Huibiao, Bowen et al. - 2001
2 Deriving Operational Semantics from Denotational Semantics f.. - Huibiao, Bowen et al. - 2001
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