{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:52:13Z","timestamp":1770295933819,"version":"3.49.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/tcad.2012.2198474","type":"journal-article","created":{"date-parts":[[2012,9,15]],"date-time":"2012-09-15T09:37:50Z","timestamp":1347701870000},"page":"1508-1521","source":"Crossref","is-referenced-by-count":6,"title":["synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs"],"prefix":"10.1109","volume":"31","author":[{"given":"Rohit","family":"Sinha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiren D.","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","first-page":"433","article-title":"An efficient and versatile scheduling algorithm based on SDC formulation","author":"cong","year":"2006","journal-title":"Proc 43rd Annu DAC"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7"},{"key":"ref11","first-page":"689","article-title":"Model checking for abstract state machines","volume":"3","author":"winter","year":"1997","journal-title":"J Universal Comput Sci"},{"key":"ref12","first-page":"431","article-title":"Automatic verification of abstract state machines","author":"spielmann","year":"1999","journal-title":"Proc 10th Int Conf CAV"},{"key":"ref13","first-page":"149","article-title":"Symbolic bounded model checking of abstract state machines","volume":"3","author":"veanes","year":"2009","journal-title":"Int J Software Informatics"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-221-0_31"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/566171.566190","article-title":"Generating finite state machines from abstract state machines","author":"grieskamp","year":"2002","journal-title":"Proc ACM SIGSoft ISSTA 95"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-3-540-87603-8_8","volume":"5238","author":"cavarra","year":"2008","journal-title":"Abstract State Machines B and Z"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2007.375047"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763227"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2011.49"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2004.1339528"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.2003.1183177"},{"key":"ref27","first-page":"71","article-title":"CoreASM: An extensible ASM execution engine","volume":"77","author":"farahbod","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"ref3","first-page":"99","author":"zhang","year":"2008","journal-title":"AutoPilot A Platform-Based ESL Synthesis System"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.83"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.17.242"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950423"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2008.46"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.134"},{"key":"ref2","year":"0","journal-title":"Handel-C High-Level Synthesis"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2042889"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2003.1174808"},{"key":"ref20","year":"2007","journal-title":"Handel-C High-Level Synthesis Manual"},{"key":"ref22","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":"ref21","year":"0","journal-title":"Cynthesizer and High-Level Design"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3636-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.833614"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/43.31522"},{"key":"ref25","author":"micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6303923\/06303940.pdf?arnumber=6303940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T15:13:59Z","timestamp":1510672439000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6303940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":30,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2012.2198474","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}