{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:38:05Z","timestamp":1761647885699,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,5]],"date-time":"2011-06-05T00:00:00Z","timestamp":1307232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/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":[[2011,6,5]]},"DOI":"10.1145\/2024724.2024914","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"848-853","update-policy":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Learning microarchitectural behaviors to improve stimuli generation quality"],"prefix":"10.1145","author":[{"given":"Yoav","family":"Katz","sequence":"first","affiliation":[{"name":"IBM Research - Haifa Israel"}]},{"given":"Michal","family":"Rimon","sequence":"additional","affiliation":[{"name":"IBM Research - Haifa Israel"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[{"name":"IBM Research - Haifa, Israel"}]},{"given":"Gai","family":"Shaked","sequence":"additional","affiliation":[{"name":"Technion, Haifa, Israel"}]}],"member":"320","published-online":{"date-parts":[[2011,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/129837"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73847-3_20"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4549-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"e_1_3_2_1_6_1","unstructured":"S. Hettich and S. D. Bay. The UCI KDD archive. https:\/\/linproxy.fan.workers.dev:443\/http\/kdd.ics.uci.edu 1999.  S. Hettich and S. D. Bay. The UCI KDD archive. https:\/\/linproxy.fan.workers.dev:443\/http\/kdd.ics.uci.edu 1999."},{"key":"e_1_3_2_1_7_1","unstructured":"International technology roadmap for semiconductors 2009 edition - design. Website. https:\/\/linproxy.fan.workers.dev:443\/http\/www.itrs.net\/Links\/2009ITRS\/2009Chapters_2009Tables\/2009_Design.pdf.  International technology roadmap for semiconductors 2009 edition - design. Website. https:\/\/linproxy.fan.workers.dev:443\/http\/www.itrs.net\/Links\/2009ITRS\/2009Chapters_2009Tables\/2009_Design.pdf."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.38"},{"issue":"3","key":"e_1_3_2_1_9_1","first-page":"13","article-title":"Constraint-based random stimuli generation for hardware verification","volume":"28","author":"Naveh Y.","year":"2007","unstructured":"Y. Naveh , M. Rimon , I. Jaeger , Y. Katz , M. Vinov , E. Marcus , and G. Shurek . Constraint-based random stimuli generation for hardware verification . AI Magazine , 28 ( 3 ): 13 -- 30 , 2007 . Y. Naveh, M. Rimon, I. Jaeger, Y. Katz, M. Vinov, E. Marcus, and G. Shurek. Constraint-based random stimuli generation for hardware verification. AI Magazine, 28(3):13--30, 2007.","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_10_1","volume-title":"Morgan Kaufmann","author":"Quinlan J. R.","year":"1993","unstructured":"J. R. Quinlan . C4.5 : Programs for Machine Learning . Morgan Kaufmann , 1993 . J. R. Quinlan. C4.5: Programs for Machine Learning. Morgan Kaufmann, 1993."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-005-2985-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.884494"},{"key":"e_1_3_2_1_13_1","volume-title":"Comprehensive Functional Verification - The Complete Industry Cycle","author":"Wile B.","year":"2005","unstructured":"B. Wile , J. C. Goss , and W. Roesner . Comprehensive Functional Verification - The Complete Industry Cycle . Elsevier , 2005 . B. Wile, J. C. Goss, and W. Roesner. Comprehensive Functional Verification - The Complete Industry Cycle. Elsevier, 2005."}],"event":{"name":"DAC '11: The 48th Annual Design Automation Conference 2011","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)"],"location":"San Diego California","acronym":"DAC '11"},"container-title":["Proceedings of the 48th Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2024724.2024914","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/2024724.2024914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:59Z","timestamp":1750244759000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2024724.2024914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,5]]},"references-count":13,"alternative-id":["10.1145\/2024724.2024914","10.1145\/2024724"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1145\/2024724.2024914","relation":{},"subject":[],"published":{"date-parts":[[2011,6,5]]},"assertion":[{"value":"2011-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}