{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:19Z","timestamp":1750306639996,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,1]],"date-time":"2014-06-01T00:00:00Z","timestamp":1401580800000},"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":[[2014,6]]},"DOI":"10.1145\/2593069.2593091","type":"proceedings-article","created":{"date-parts":[[2014,5,27]],"date-time":"2014-05-27T12:57:10Z","timestamp":1401195430000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Approximate property checking of mixed-signal circuits"],"prefix":"10.1145","author":[{"given":"Parijat","family":"Mukherjee","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chirayu S.","family":"Amin","sequence":"additional","affiliation":[{"name":"Intel Corporation, Hillsboro, OR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382573"},{"volume-title":"Efficient sram failure rate prediction via gibbs sampling,\" TCAD '12","author":"Sun S.","key":"e_1_3_2_1_2_1","unstructured":"S. Sun , Y. Feng , C. Dong , and X. Li , \" Efficient sram failure rate prediction via gibbs sampling,\" TCAD '12 , vol. 31 , no. 12, pp. 1831--1844, 2012. S. Sun, Y. Feng, C. Dong, and X. Li, \"Efficient sram failure rate prediction via gibbs sampling,\" TCAD '12, vol. 31, no. 12, pp. 1831--1844, 2012."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1146930"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970319","volume-title":"The jackknife, the bootstrap and other resampling plans","author":"Efron B.","year":"1982","unstructured":"B. Efron and B. Efron , The jackknife, the bootstrap and other resampling plans , vol. 38 . SIAM , 1982 . B. Efron and B. Efron, The jackknife, the bootstrap and other resampling plans, vol. 38. SIAM, 1982."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/9783527626212"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429420"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1214\/09-AOAS285"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/1269769"},{"key":"e_1_3_2_1_9_1","first-page":"193","article-title":"Bayesian backfitting","volume":"15","author":"Hastie T.","year":"1998","unstructured":"T. Hastie and R. Tibshirani , \" Bayesian backfitting ,\" Statistical Science , vol. 15 , pp. 193 -- 223 , 1998 . T. Hastie and R. Tibshirani, \"Bayesian backfitting,\" Statistical Science, vol. 15, pp. 193--223, 1998.","journal-title":"Statistical Science"},{"key":"e_1_3_2_1_10_1","first-page":"231","volume-title":"Neural network ensembles, cross validation, and active learning,\" Advances in neural information processing systems","author":"Krogh A.","year":"1995","unstructured":"A. Krogh , J. Vedelsby , , \" Neural network ensembles, cross validation, and active learning,\" Advances in neural information processing systems , pp. 231 -- 238 , 1995 . A. Krogh, J. Vedelsby, et al., \"Neural network ensembles, cross validation, and active learning,\" Advances in neural information processing systems, pp. 231--238, 1995."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2004.04.004"},{"key":"e_1_3_2_1_12_1","volume-title":"Gloriastrasse 35, CH-8092 Zurich: ETH Zurich","author":"Blickle T.","year":"1995","unstructured":"T. Blickle and L. Thiele , \" A comparison of selection schemes used in genetic algorithms,\" tech. rep ., Gloriastrasse 35, CH-8092 Zurich: ETH Zurich , Computer Engineering and Communications Networks Lab , 1995 . T. Blickle and L. Thiele, \"A comparison of selection schemes used in genetic algorithms,\" tech. rep., Gloriastrasse 35, CH-8092 Zurich: ETH Zurich, Computer Engineering and Communications Networks Lab, 1995."}],"event":{"name":"DAC '14: The 51st Annual Design Automation Conference 2014","sponsor":["EDAC Electronic Design Automation Consortium","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA"],"location":"San Francisco CA USA","acronym":"DAC '14"},"container-title":["Proceedings of the 51st Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593069.2593091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593069.2593091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":12,"alternative-id":["10.1145\/2593069.2593091","10.1145\/2593069"],"URL":"https:\/\/doi.org\/10.1145\/2593069.2593091","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]},"assertion":[{"value":"2014-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}