{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:29:32Z","timestamp":1729610972524,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487890","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"45-54","source":"Crossref","is-referenced-by-count":0,"title":["Structural Operational Semantics for Supporting Multi-Cycle Operations in RTL HDLs"],"prefix":"10.1109","author":[{"family":"Shuqing Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.D.","family":"Gajski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"69","article-title":"A structural approach to operational semantics","author":"plotkin","year":"2004","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"22","first-page":"639","article-title":"Compiling joy into silicon: An exercise in applied structural operational semantics","author":"weber","year":"1992","journal-title":"REX Workshop"},{"journal-title":"SystemC 2 0 1 Language Reference Manual","year":"0","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.111"},{"journal-title":"SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation","year":"2004","author":"patel","key":"18"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915003"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.005"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2887-3"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"12","article-title":"Language independent RTL semantics","author":"gordon","year":"1998","journal-title":"IEEE Annual Workshop on VLSI System Level Design"},{"journal-title":"A Constructive Structural Operational Semantics for Esterel","year":"0","author":"tini","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207134"},{"journal-title":"Design Compiler","year":"0","key":"20"},{"journal-title":"SystemVerilog 3 1a Language Reference Manual","year":"0","key":"2"},{"journal-title":"RTL Semantics","year":"0","key":"1"},{"journal-title":"High-Level Synthesis Introduction to Chip and System Design","year":"1994","author":"gajski","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BFb0014318","article-title":"Constructive semantics of esterel: From theory to practice","author":"berry","year":"1996","journal-title":"Algebraic Methodology and Software Technology"},{"key":"6","article-title":"A hardware implementation of Pure Esterel","volume":"6","author":"berry","year":"1991","journal-title":"Technical Report"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/500001.500017","article-title":"rtl semantics and methodology","author":"bailey","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80282-8"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.307"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487890.pdf?arnumber=1487890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:36:14Z","timestamp":1497648974000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487890","relation":{},"subject":[]}}