{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:14:50Z","timestamp":1767183290226},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iccad.2008.4681612","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T16:24:14Z","timestamp":1227630254000},"page":"434-441","source":"Crossref","is-referenced-by-count":18,"title":["Correct-by-construction microarchitectural pipelining"],"prefix":"10.1109","author":[{"given":"Timothy","family":"Kam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Galceran-Oms","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","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":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"18","article-title":"using functional independence conditions to optimize the performance of latency-insensitive systems","author":"li","year":"2007","journal-title":"Proc International Conf Computer-Aided Design"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379071"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.32"},{"key":"13","article-title":"performance analysis of concurrent systems with early evaluation","author":"ju?lvez","year":"2006","journal-title":"Proc International Conf Computer-Aided Design"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90078-X"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2002.1000291"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/43.3169"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48683-6_26","article-title":"elementary microarchitecture algebra","author":"matthews","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460304"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2006.320024"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109123"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229277"},{"key":"5","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1145\/1278480.1278587","article-title":"synchronous elastic circuits with early evaluation and token counterflow","author":"cortadella","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044297"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"1990","author":"hennessy","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1145\/288548.288632","article-title":"using precomputation in architecture and logic resynthesis","author":"hassoun","year":"1998","journal-title":"Proc International Conf Computer-Aided Design"}],"event":{"name":"2008 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2008,11,10]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2008,11,13]]}},"container-title":["2008 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4670335\/4681527\/04681612.pdf?arnumber=4681612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:30:30Z","timestamp":1557930630000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4681612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2008.4681612","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}