{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:30:20Z","timestamp":1758123020809,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,2,21]],"date-time":"2010-02-21T00:00:00Z","timestamp":1266710400000},"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":[[2010,2,21]]},"DOI":"10.1145\/1723112.1723144","type":"proceedings-article","created":{"date-parts":[[2010,2,23]],"date-time":"2010-02-23T15:35:30Z","timestamp":1266939330000},"page":"181-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Global delay optimization using structural choices"],"prefix":"10.1145","author":[{"given":"Alan","family":"Mishchenko","sequence":"first","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Robert","family":"Brayton","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Stephen","family":"Jang","sequence":"additional","affiliation":[{"name":"non-affiliated, San Jose, CA, USA"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,2,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification. http:\/\/wwwcad.eecs.berkeley.edu\/~alanmi\/abc  Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification. http:\/\/wwwcad.eecs.berkeley.edu\/~alanmi\/abc"},{"volume-title":"Proc. ISCAS '90","author":"Berman C. L.","key":"e_1_3_2_1_2_1","unstructured":"C. L. Berman , D. J. Hathaway , A. S. LaPaugh , and L. H. Trevillyan , Efficient techniques for timing correction \", Proc. ISCAS '90 . C. L. Berman, D. J. Hathaway, A. S. LaPaugh, and L. H. Trevillyan, Efficient techniques for timing correction\", Proc. ISCAS '90."},{"volume-title":"ICCAD '05","author":"Chatterjee S.","key":"e_1_3_2_1_3_1","unstructured":"S. Chatterjee , A. Mishchenko , R. Brayton , X. Wang , and T. Kam , \" Reducing structural bias in technology mapping \", ICCAD '05 . S. Chatterjee, A. Mishchenko, R. Brayton, X. Wang, and T. Kam, \"Reducing structural bias in technology mapping\", ICCAD '05."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382677"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278705"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/228370.228390"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123418"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996691"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.644605"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"e_1_3_2_1_12_1","first-page":"184","volume-title":"Proc. ICCAD'91","author":"McGeer P.","unstructured":"P. McGeer , R. K. Brayton , A. L. Sangiovanni-Vincentelli , and S. K. Sahni , \" Performance enhancement through the generalized bypass transform \", Proc. ICCAD'91 , pp. 184 -- 187 . P. McGeer, R. K. Brayton, A. L. Sangiovanni-Vincentelli, and S. K. Sahni, \"Performance enhancement through the generalized bypass transform\", Proc. ICCAD'91, pp. 184--187."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775871"},{"volume-title":"Proc. ICCAD '07","author":"Mishchenko A.","key":"e_1_3_2_1_14_1","unstructured":"A. Mishchenko , S. Cho , S. Chatterjee , R. Brayton , \"Combinational and sequential mapping with priority cuts \", Proc. ICCAD '07 . A. Mishchenko, S. Cho, S. Chatterjee, R. Brayton, \"Combinational and sequential mapping with priority cuts\", Proc. ICCAD '07."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/275107.275118"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196448"},{"key":"e_1_3_2_1_17_1","first-page":"282","volume-title":"Proc. ICCAD '88","author":"Singh K. J.","unstructured":"K. J. Singh , A. R. Wang , R. K. Brayton , and A. L. Sangiovanni-Vincentelli , \" Timing optimization of combinational logic \". Proc. ICCAD '88 , pp. 282 -- 285 . K. J. Singh, A. R. Wang, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, \"Timing optimization of combinational logic\". Proc. ICCAD '88, pp. 282--285."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.890583"}],"event":{"name":"FPGA '10: ACM\/SIGDA International Symposium on Field Programmable Gate Arrays","sponsor":["SIGDA ACM Special Interest Group on Design Automation"],"location":"Monterey California USA","acronym":"FPGA '10"},"container-title":["Proceedings of the 18th annual ACM\/SIGDA international symposium on Field programmable gate arrays"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1723112.1723144","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1723112.1723144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:15Z","timestamp":1750250475000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1723112.1723144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,21]]},"references-count":18,"alternative-id":["10.1145\/1723112.1723144","10.1145\/1723112"],"URL":"https:\/\/doi.org\/10.1145\/1723112.1723144","relation":{},"subject":[],"published":{"date-parts":[[2010,2,21]]},"assertion":[{"value":"2010-02-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}