{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:06Z","timestamp":1762458846271,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/memcod.2010.5558634","type":"proceedings-article","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T14:37:22Z","timestamp":1282919842000},"page":"179-188","source":"Crossref","is-referenced-by-count":24,"title":["A formal executable semantics of Verilog"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Meredith","sequence":"first","affiliation":[]},{"given":"Michael","family":"Katelman","sequence":"additional","affiliation":[]},{"given":"Jose","family":"Meseguer","sequence":"additional","affiliation":[]},{"given":"Grigore","family":"Rosu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-25984-8_1","article-title":"Rewriting logic semantics: From language specifications to formal analysis tools","volume":"3097","author":"meseguer","year":"2004","journal-title":"International Joint Conference on Automated Reasoning (IJ-CAR'04)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.018"},{"key":"ref13","first-page":"61","article-title":"A pattern matching compiler for multiple target languages","author":"moreau","year":"2003","journal-title":"Compiler Construction (CC'03)"},{"key":"ref14","article-title":"Formal reasoning with verilog hdl","author":"pace","year":"1998","journal-title":"Proc Workshop on Formal Techniques for Hardware and Hardware-Like Systems"},{"key":"ref15","first-page":"60","article-title":"The origins of structural operational semantics","author":"plotkin","year":"2004","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"ref16","first-page":"17","article-title":"A structural approach to operational semantics","volume":"60?61","author":"plotkin","year":"2004","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"ref17","article-title":"An overview of the K semantic framework","author":"ro \u00e5\u00ffu","year":"2010","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307520"},{"key":"ref19","first-page":"19","article-title":"Toward a mathematical semantics for computer languages","volume":"xxi","author":"scott","year":"1971","journal-title":"Symp on Computers and Automata"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.ic.2008.03.026","article-title":"A rewriting logic approach to operational semantics","volume":"207","author":"\u00e5\u017eerb \u00e4\u0192nu \u00e5\u00a3\u00e4\u0192","year":"2009","journal-title":"Information and Computation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523251"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00357-7"},{"journal-title":"IEEE Standard for Verilog Hardware Description Language","first-page":"1364","year":"2005","key":"ref7"},{"journal-title":"All about Maude - A High-Performance Logical Framework How to Specify Program and Verify Systems in Rewriting Logic","year":"2007","author":"clavel","key":"ref2"},{"journal-title":"Formal executable semantics of Verilog (webpage)","year":"2010","author":"meredith","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00358-9"},{"journal-title":"VCS","year":"0","key":"ref20"},{"key":"ref22","first-page":"216","article-title":"Program Transformation with Stratego\/XT: Rules, Strategies, Tools, and Systems","author":"visser","year":"2003","journal-title":"Domain-Specific Program Generation"},{"journal-title":"Tech Rep DAIMI FN-19","year":"1981","key":"ref16a"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1145\/567097.567099","article-title":"Compiling language definitions: the ASF+SDF compiler","volume":"24","author":"van","year":"2002","journal-title":"ACM TOPLAS"},{"key":"ref24","first-page":"139","article-title":"From algebraic semantics to denotational semantics for verilog","author":"zhu","year":"2006","journal-title":"International Conference on Engineering Complex Computer Systems (ICECCS'06)"},{"journal-title":"Icarus verilog","year":"0","author":"williams","key":"ref23"}],"event":{"name":"2010 8th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","start":{"date-parts":[[2010,7,26]]},"location":"Grenoble, France","end":{"date-parts":[[2010,7,28]]}},"container-title":["Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5550962\/5558619\/05558634.pdf?arnumber=5558634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:11:02Z","timestamp":1497877862000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5558634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memcod.2010.5558634","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}