Zhu Huibiao, J. P. Bowen and He Jifeng. Deriving Operational Semantics from Denotational Semantics for Verilog. Technical Report SBU-CISM-01-16, South Bank University, London, UK, June 2001.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Deriving Operational Semantics from Denotational Semantics.. - Zhu, Bowen, He (2001) Self-citation (Huibiao Bowen Jifeng) (Correct)
No context found.
Zhu Huibiao, J. P. Bowen and He Jifeng. Deriving Operational Semantics from Denotational Semantics for Verilog. Technical Report SBU-CISM-01-16, South Bank University, London, UK, June 2001.
Soundness, Completeness and Non-redundancy of Operational.. - Zhu, Bowen, He (2002) Self-citation (Huibiao Bowen Jifeng) (Correct)
.... [9] has also been explored based on the operational semantics using 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 three typical questions we should face: 1) By which rule can we say our operational semantics is sound (2) How can we guarantee our operational semantics is complete (3) How can we say there will not be any redundant rules among all our ....
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.
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