{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:19Z","timestamp":1750307839586,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,8]],"date-time":"2008-06-08T00:00:00Z","timestamp":1212883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0702668"],"award-info":[{"award-number":["CCF-0702668"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["1361.0011444.001"],"award-info":[{"award-number":["1361.0011444.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,8]]},"DOI":"10.1145\/1391469.1391604","type":"proceedings-article","created":{"date-parts":[[2008,7,30]],"date-time":"2008-07-30T12:09:58Z","timestamp":1217419798000},"page":"534-539","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Scalable min-register retiming under timing and initializability constraints"],"prefix":"10.1145","author":[{"given":"Aaron P.","family":"Hurst","sequence":"first","affiliation":[{"name":"University of California, Berkeley Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"University of California, Berkeley Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert K.","family":"Brayton","sequence":"additional","affiliation":[{"name":"University of California, Berkeley Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Berkeley Logic Synthesis and Verification Group ABC: A System for Sequential Synthesis and Verification Release 61104. http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/  Berkeley Logic Synthesis and Verification Group ABC: A System for Sequential Synthesis and Verification Release 61104. http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337591"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.806805"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.489105"},{"key":"e_1_3_2_1_5_1","unstructured":"A. Goldberg Network optimization library. (Software tools) http:\/\/www.avglab.com\/andrew\/soft.html  A. Goldberg Network optimization library. (Software tools) http:\/\/www.avglab.com\/andrew\/soft.html"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1333874.1334141"},{"key":"e_1_3_2_1_7_1","unstructured":"M. Hutton and J. Pistorius Altera QUIP benchmarks. http:\/\/www.altera.com\/education\/univ\/research\/unvquip.html  M. Hutton and J. Pistorius Altera QUIP benchmarks. http:\/\/www.altera.com\/education\/univ\/research\/unvquip.html"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.661250"},{"volume-title":"Proc. ICCAD '97","author":"Maheshwari N.","key":"e_1_3_2_1_10_1","unstructured":"N. Maheshwari and S. Sapatnekar , \" Minimum area retiming with equivalent initial states \", Proc. ICCAD '97 . N. Maheshwari and S. Sapatnekar, \"Minimum area retiming with equivalent initial states\", Proc. ICCAD '97."},{"key":"e_1_3_2_1_11_1","first-page":"116","volume-title":"Proc. ICCD '97","author":"Pan P.","unstructured":"P. Pan , \"Continuous retiming : Algorithms and applications \". Proc. ICCD '97 , pp. 116 -- 121 . P. Pan, \"Continuous retiming: Algorithms and applications\". Proc. ICCD '97, pp. 116--121."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/520550.835149"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.541443"},{"key":"e_1_3_2_1_14_1","first-page":"226","volume-title":"Proc. ICCAD '94","author":"Shenoy N.","unstructured":"N. Shenoy and R. Rudell , \" Efficient implementation of retiming \", Proc. ICCAD '94 , pp. 226 -- 233 . N. Shenoy and R. Rudell, \"Efficient implementation of retiming\", Proc. ICCAD '94, pp. 226--233."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065694"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/787258.787431"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.184852"}],"event":{"name":"DAC '08: The 45th Annual Design Automation Conference 2008","sponsor":["The EDA Consortium","IEEE\/CASS\/CANDE\/CEDA","SIGDA ACM Special Interest Group on Design Automation"],"location":"Anaheim California","acronym":"DAC '08"},"container-title":["Proceedings of the 45th annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391604","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1391469.1391604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:04Z","timestamp":1750255084000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,8]]},"references-count":17,"alternative-id":["10.1145\/1391469.1391604","10.1145\/1391469"],"URL":"https:\/\/doi.org\/10.1145\/1391469.1391604","relation":{},"subject":[],"published":{"date-parts":[[2008,6,8]]},"assertion":[{"value":"2008-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}