{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:03Z","timestamp":1750306923936,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,5]],"date-time":"2012-11-05T00:00:00Z","timestamp":1352073600000},"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-1017142"],"award-info":[{"award-number":["CCF-1017142"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,11,5]]},"DOI":"10.1145\/2429384.2429422","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"195-201","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Scalable sampling methodology for logic simulation"],"prefix":"10.1145","author":[{"given":"Chien-Chih","family":"Yu","sequence":"first","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Alaghi","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John P.","family":"Hayes","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"487","volume-title":"On a theory of Boolean functions. Jour","author":"Akers S. B.","unstructured":"S. B. Akers , Jr., 1959. On a theory of Boolean functions. Jour . SIAM , pp. 487 -- 498 . S. B. Akers, Jr., 1959. On a theory of Boolean functions. Jour. SIAM, pp. 487--498."},{"key":"e_1_3_2_1_2_1","unstructured":"M. L. Bushnell and V. D. Agrawal 2000. Essentials of Electron. Testing. Springer.  M. L. Bushnell and V. D. Agrawal 2000. Essentials of Electron. Testing . Springer."},{"key":"e_1_3_2_1_3_1","first-page":"65","volume-title":"Proc. Simulation Symp.","author":"Chen C-H.","year":"2001","unstructured":"C-H. Chen , 2001 . Efficient approach for Monte Carlo simulation experiments and its applications to circuit systems design . Proc. Simulation Symp. , pp. 65 -- 71 . C-H. Chen et al., 2001. Efficient approach for Monte Carlo simulation experiments and its applications to circuit systems design. Proc. Simulation Symp., pp. 65--71."},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"Proc. DATE","author":"Choudhury M. R.","unstructured":"M. R. Choudhury and K. Mohanram , 2007. Accurate and scalable reliability analysis of logic circuits . Proc. DATE , pp. 1 -- 6 . M. R. Choudhury and K. Mohanram, 2007. Accurate and scalable reliability analysis of logic circuits. Proc. DATE, pp. 1--6."},{"key":"e_1_3_2_1_5_1","first-page":"132","volume-title":"Proc. ETC","author":"S.","year":"1989","unstructured":"S. Ercolani el al. , 1989 . Estimate of signal probability in combinational logic networks . Proc. ETC , pp. 132 -- 138 . S. Ercolani el al., 1989. Estimate of signal probability in combinational logic networks. Proc. ETC, pp. 132--138."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.785838"},{"key":"e_1_3_2_1_7_1","volume-title":"London: Methuen.","author":"Hammersley J. M.","year":"1964","unstructured":"J. M. Hammersley and D. C. Handscomb , 1964 . Monte Carlo Methods . London: Methuen. J. M. Hammersley and D. C. Handscomb, 1964. Monte Carlo Methods. London: Methuen."},{"key":"e_1_3_2_1_8_1","unstructured":"G. D. Hachtel and F. Somenzi 1996. Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers.   G. D. Hachtel and F. Somenzi 1996. Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21923"},{"volume-title":"Synthesis and Optimization of Digital Circuits","author":"De Micheli G.","key":"e_1_3_2_1_10_1","unstructured":"G. De Micheli , 1994. Synthesis and Optimization of Digital Circuits . McGraw-Hill . G. De Micheli, 1994. Synthesis and Optimization of Digital Circuits. McGraw-Hill."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.43"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224279"},{"key":"e_1_3_2_1_13_1","first-page":"179","volume-title":"Power estimation and optimization at the logic level. Jour. High Speed Electron. & Syst","author":"Pedram M.","unstructured":"M. Pedram , 1994. Power estimation and optimization at the logic level. Jour. High Speed Electron. & Syst . pp. 179 -- 202 . M. Pedram, 1994. Power estimation and optimization at the logic level. Jour. High Speed Electron. & Syst. pp. 179--202."},{"volume-title":"A Course in Simulation","author":"Ross S. M.","key":"e_1_3_2_1_14_1","unstructured":"S. M. Ross , 1990. A Course in Simulation . Prentice Hall . S. M. Ross, 1990. A Course in Simulation. Prentice Hall."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2011.5993819"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(89)90059-X"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2062750"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/876877.879206"},{"key":"e_1_3_2_1_19_1","first-page":"117","volume-title":"Proc. DAC","author":"Wu Q.","year":"1997","unstructured":"Q. Wu , 1997 . A note on the relationship between signal probability and switching activity . Proc. DAC , pp. 117 -- 120 . Q. Wu et al., 1997. A note on the relationship between signal probability and switching activity. Proc. DAC, pp. 117--120."}],"event":{"name":"ICCAD '12: The International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CEDA"],"location":"San Jose California","acronym":"ICCAD '12"},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429422","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429384.2429422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:25Z","timestamp":1750235725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429384.2429422"}},"subtitle":["reduced-ordered Monte Carlo"],"short-title":[],"issued":{"date-parts":[[2012,11,5]]},"references-count":19,"alternative-id":["10.1145\/2429384.2429422","10.1145\/2429384"],"URL":"https:\/\/doi.org\/10.1145\/2429384.2429422","relation":{},"subject":[],"published":{"date-parts":[[2012,11,5]]},"assertion":[{"value":"2012-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}