{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:18Z","timestamp":1750307538232,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,26]],"date-time":"2009-07-26T00:00:00Z","timestamp":1248566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,26]]},"DOI":"10.1145\/1629911.1630152","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"937-942","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Register allocation for high-level synthesis using dual supply voltages"],"prefix":"10.1145","author":[{"given":"Insup","family":"Shin","sequence":"first","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seungwhun","family":"Paik","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youngsoo","family":"Shin","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"125","article-title":"High-performance and low-power challenges for sub-70nm microprocesssor circuits","author":"Krishnamurthy R. K.","year":"2002","unstructured":"R. K. Krishnamurthy , \" High-performance and low-power challenges for sub-70nm microprocesssor circuits ,\" in Proc. CICC , May 2002 , pp. 125 -- 128 . R. K. Krishnamurthy et al., \"High-performance and low-power challenges for sub-70nm microprocesssor circuits,\" in Proc. CICC, May 2002, pp. 125--128.","journal-title":"Proc."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309872"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013235.1013283"},{"issue":"3","key":"e_1_3_2_1_4_1","first-page":"463","article-title":"Automated low-power technique exploiting multiple supply voltages applied to a media processor","volume":"33","author":"Usami K.","year":"1998","unstructured":"K. Usami , \" Automated low-power technique exploiting multiple supply voltages applied to a media processor ,\" JSSC , vol. 33 , no. 3 , pp. 463 -- 472 , Mar. 1998 . K. Usami et al., \"Automated low-power technique exploiting multiple supply voltages applied to a media processor,\" JSSC, vol. 33, no. 3, pp. 463--472, Mar. 1998.","journal-title":"JSSC"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.776032"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013235.1013287"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/224081.224084"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/253052.253054"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264997"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.645070"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/82.847069"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.988725"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/368434.368755"},{"key":"e_1_3_2_1_14_1","unstructured":"Synopsys \"NanoSim User Guide \" Dec. 2007.  Synopsys \"NanoSim User Guide \" Dec. 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147029"},{"key":"e_1_3_2_1_16_1","first-page":"128","volume-title":"APCHDL","author":"Ahn T.","year":"1996","unstructured":"T. Ahn analysis and elaboration of VHDL description,\" in Proc . APCHDL , Jan. 1996 , pp. 128 -- 131 . T. Ahn et al., \"Incremental analysis and elaboration of VHDL description,\" in Proc. APCHDL, Jan. 1996, pp. 128--131."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/370155.370576"},{"key":"e_1_3_2_1_18_1","volume-title":"Synthesis and Optimization of Digital Circuits","author":"De Micheli G.","year":"1994","unstructured":"G. De Micheli , Synthesis and Optimization of Digital Circuits , McGraw-Hill, Inc. , 1994 . G. De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill, Inc., 1994."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/800158.805069"},{"key":"e_1_3_2_1_20_1","unstructured":"Synopsys \"Design Compiler User Guide \" Mar. 2007.  Synopsys \"Design Compiler User Guide \" Mar. 2007."},{"key":"e_1_3_2_1_21_1","unstructured":"Synopsys \"Astro User Guide \" June 2006.  Synopsys \"Astro User Guide \" June 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/37888.37920"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/359094.359101"},{"key":"e_1_3_2_1_24_1","first-page":"736","volume-title":"ICCAD","author":"Kagaris D.","year":"1997","unstructured":"D. Kagaris and S. Tragoudas , \" Maximum independent sets on transitive graphs and their applications in testing and CAD,\" in Proc . ICCAD , Nov. 1997 , pp. 736 -- 740 . D. Kagaris and S. Tragoudas, \"Maximum independent sets on transitive graphs and their applications in testing and CAD,\" in Proc. ICCAD, Nov. 1997, pp. 736--740."},{"issue":"4","key":"e_1_3_2_1_25_1","first-page":"652","article-title":"Low-power CMOS digital design with dual embedded adaptive power supplies","volume":"35","author":"Kuroda T.","year":"2000","unstructured":"T. Kuroda and M. Hamada , \" Low-power CMOS digital design with dual embedded adaptive power supplies ,\" JSSC , vol. 35 , no. 4 , pp. 652 -- 655 , Apr. 2000 . T. Kuroda and M. Hamada, \"Low-power CMOS digital design with dual embedded adaptive power supplies,\" JSSC, vol. 35, no. 4, pp. 652--655, Apr. 2000.","journal-title":"JSSC"}],"event":{"name":"DAC '09: The 46th Annual Design Automation Conference 2009","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CAS Circuits & Systems"],"location":"San Francisco California","acronym":"DAC '09"},"container-title":["Proceedings of the 46th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1630152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629911.1630152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:21Z","timestamp":1750249401000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629911.1630152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,26]]},"references-count":25,"alternative-id":["10.1145\/1629911.1630152","10.1145\/1629911"],"URL":"https:\/\/doi.org\/10.1145\/1629911.1630152","relation":{},"subject":[],"published":{"date-parts":[[2009,7,26]]},"assertion":[{"value":"2009-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}