{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:08:38Z","timestamp":1767182918991},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/tcad.2010.2088950","type":"journal-article","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T18:47:25Z","timestamp":1298054845000},"page":"441-454","source":"Crossref","is-referenced-by-count":24,"title":["Automatic Pipelining From Transactional Datapath Specifications"],"prefix":"10.1109","volume":"30","author":[{"given":"Eriko","family":"Nurvitadhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James C.","family":"Hoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Kam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shih-Lien L.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.887921"},{"key":"ref33","year":"0"},{"key":"ref32","author":"snyder","year":"2010","journal-title":"Verilator"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2003.1227271"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269223"},{"key":"ref37","year":"0"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2464-6"},{"key":"ref35","year":"1988","journal-title":"IEEE Standard VHDL Language Reference Manual"},{"key":"ref34","year":"0","journal-title":"IEEE 1666 Open SystemC Language Reference Manual"},{"key":"ref10","first-page":"3","article-title":"mibench: a free, commercially representative embedded benchmark suite","author":"guthaus","year":"2001","journal-title":"Proc Workshop Workload Characteriz"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597161"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1996.545665"},{"key":"ref13","author":"hennessy","year":"1990","journal-title":"Computer Architecture A Quantitative Approach"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"key":"ref15","year":"0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2000.878319"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681612"},{"key":"ref18","first-page":"921","article-title":"synthesis-driven exploration of pipelined embedded processors","author":"kejariwal","year":"2004","journal-title":"Proc 17th Int Conf VLSI Des"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IWRSP.2002.1029732"},{"key":"ref28","author":"price","year":"1995","journal-title":"MIPS IV Instruction Set"},{"key":"ref4","first-page":"445","article-title":"ip-reusable 32-bit vliw risc core","author":"campi","year":"2001","journal-title":"Proc Eur Solid-State Circuits Conf"},{"key":"ref27","year":"0"},{"key":"ref3","first-page":"68","article-title":"automatic verification of pipelined processor control","author":"burch","year":"1994","journal-title":"Proc 6th Int Conf Comput -Aided Verification"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229277"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227750"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/40.848473"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1995.470354"},{"key":"ref2","year":"0"},{"key":"ref9","author":"gupta","year":"2004","journal-title":"Spark A Parallelizing Approach to the High-Level Synthesis of Digital Circuits"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382681"},{"key":"ref20","first-page":"810","article-title":"automated pipeline design","author":"kroening","year":"2001","journal-title":"Proc Des Automat Conf"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/500001.500053","article-title":"high-level automatic pipelining for sequential circuits","author":"marinescu","year":"2001","journal-title":"Proc Int Symp Syst Synthesis"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/2.982916"},{"key":"ref24","year":"0"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0167-6423(99)00030-1","article-title":"A methodology for hardware verification using compositional model checking","volume":"37","author":"mcmillan","year":"2000","journal-title":"Sci Comput Program"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1998.674159"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2088950"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/5715593\/05715612.pdf?arnumber=5715612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:47:05Z","timestamp":1633909625000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5715612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":38,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2010.2088950","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}