Deriving Operational Semantics from Denotational Semantics for Verilog

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Huibiao Zhu Articles by Jonathan P. Bowen Articles by Jifeng He

Eighth Asia-Pacific Software Engineering Conference (APSEC'01)

Macao, China

December 04-December 07

ISBN: 0-7695-1408-1

	ASCII Text	x
	Huibiao Zhu, Jonathan P. Bowen, Jifeng He, "Deriving Operational Semantics from Denotational Semantics for Verilog," Asia-Pacific Software Engineering Conference, pp. 177, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001.

	BibTex	x
	@article{ 10.1109/APSEC.2001.991475, author = {Huibiao Zhu and Jonathan P. Bowen and Jifeng He}, title = {Deriving Operational Semantics from Denotational Semantics for Verilog}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2001}, isbn = {0-7695-1408-1}, pages = {177}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991475}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Deriving Operational Semantics from Denotational Semantics for Verilog SN - 0-7695-1408-1 SP EP A1 - Huibiao Zhu, A1 - Jonathan P. Bowen, A1 - Jifeng He, PY - 2001 VL - 0 JA - Asia-Pacific Software Engineering Conference ER -

Huibiao Zhu

Jonathan P. Bowen

Jifeng He

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991475

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.

Citation:

Huibiao Zhu, Jonathan P. Bowen, Jifeng He, "Deriving Operational Semantics from Denotational Semantics for Verilog," apsec, pp.177, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.