{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:08:03Z","timestamp":1761487683823,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695899","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T17:01:13Z","timestamp":1158944473000},"page":"39-48","source":"Crossref","is-referenced-by-count":11,"title":["A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design"],"prefix":"10.1109","author":[{"given":"H.D.","family":"Patel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Mednick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.S.","family":"Nikhil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.850819"},{"year":"0","key":"17"},{"journal-title":"Lustre","year":"0","key":"18"},{"key":"15","article-title":"Hardware Synthesis from Term Rewriting Systems","author":"hoe","year":"1999","journal-title":"Proceeding of VLSI"},{"year":"0","key":"16"},{"key":"13","first-page":"55","article-title":"Modular scheduling of guarded atomic actions","author":"rosenband","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487887"},{"year":"0","key":"11"},{"year":"0","key":"12"},{"article-title":"Deep vs. Shallow, Kernel vs. Language - What is Better for Heterogeneous Modeling in SystemC? Virginia Polytechnic Institute and State University","year":"2006","author":"patel","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243955"},{"article-title":"HEMLOCK: HEterogeneous ModeL Of Computation Kernel for SystemC","year":"2003","author":"patel","key":"22"},{"journal-title":"SystemC Kernel Extensions for Heterogeneous System Modeling","year":"2004","author":"patel","key":"23"},{"key":"24","article-title":"Towards behavioral hierarchy extensions for systemc","author":"patel","year":"2005","journal-title":"Forum Specification and Design Languages (FDL)"},{"key":"25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","author":"baader","year":"1998","journal-title":"Term Rewriting and All That"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"journal-title":"SpecC","year":"0","key":"27"},{"key":"28","first-page":"2004","volume":"fdl 2004","author":"herrera","year":"0","journal-title":"Heterogeneous System-Level Specification in SystemC"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487886"},{"journal-title":"Ptolemy II Website","year":"0","key":"3"},{"journal-title":"SystemC-H","year":"0","key":"2"},{"year":"0","key":"10"},{"journal-title":"SystemC","year":"0","key":"1"},{"journal-title":"GreenSoCs Open Source SystemC Infrastructure","year":"0","key":"30"},{"journal-title":"Bluespec","year":"0","key":"7"},{"journal-title":"Celoxica's Agility Compiler","year":"0","key":"6"},{"journal-title":"Forte Design Systems","year":"0","key":"5"},{"journal-title":"System Verilog","year":"0","key":"4"},{"year":"0","key":"9"},{"journal-title":"XPRES compiler","year":"0","key":"8"}],"event":{"name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","acronym":"MEMCOD-06","location":"Napa, CA, USA"},"container-title":["Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11148\/35734\/01695899.pdf?arnumber=1695899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T08:49:19Z","timestamp":1555836559000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695899","relation":{},"subject":[]}}