%0 Book Section %1 huibiao_02_soundness %A Huibiao, Zhu %A Bowen, Jonathan %A Jifeng, He %D 2002 %J Formal Methods and Software Engineering %K semantics 2002 operational verilog denotational %P 600--612 %R 10.1007/3-540-36103-0_61 %T Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics %U http://dx.doi.org/10.1007/3-540-36103-0_61 %X This paper investigates three significant questions of Verilog^a€™s operational semantics: soundness, completeness and non-redundancy. Our understanding for these three questions is denotational-based. We provide an operational semantics for Verilog and prove that our operational semantics is sound, complete and non-redundant.

@incollection{huibiao_02_soundness, abstract = {This paper investigates three significant questions of Verilog^{a}€™s operational semantics: soundness, completeness and non-redundancy. Our understanding for these three questions is denotational-based. We provide an operational semantics for Verilog and prove that our operational semantics is sound, complete and non-redundant.}, added-at = {2009-02-12T00:15:04.000+0100}, author = {Huibiao, Zhu and Bowen, Jonathan and Jifeng, He}, biburl = {https://www.bibsonomy.org/bibtex/2e855740c47a1cf9059bc2a6f106644f8/leonardo}, citeulike-article-id = {2527175}, doi = {10.1007/3-540-36103-0_61}, interhash = {b94b968bfabd74bd33a4966588045d46}, intrahash = {e855740c47a1cf9059bc2a6f106644f8}, journal = {Formal Methods and Software Engineering}, keywords = {semantics 2002 operational verilog denotational}, pages = {600--612}, posted-at = {2008-03-13 14:34:46}, priority = {3}, timestamp = {2009-02-12T00:15:04.000+0100}, title = {Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics}, url = {http://dx.doi.org/10.1007/3-540-36103-0_61}, year = 2002 }