{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:19Z","timestamp":1750221139250,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T00:00:00Z","timestamp":1548028800000},"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":[[2019,1,21]]},"DOI":"10.1145\/3287624.3287661","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T21:45:18Z","timestamp":1547847918000},"page":"681-686","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Suspect2vec"],"prefix":"10.1145","author":[{"given":"Neil","family":"Veira","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Canada"}]},{"given":"Zissis","family":"Poulos","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2019,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744921"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013998"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"S. Mirzaeian F. Zheng and K. Cheng \"Rtl error diagnosis using a word-level sat-solver \" in itc 2008 pp. 1--8.  S. Mirzaeian F. Zheng and K. Cheng \"Rtl error diagnosis using a word-level sat-solver \" in itc 2008 pp. 1--8.","DOI":"10.1109\/TEST.2008.4700568"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2007.4392789"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061370"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030593"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_9_1","first-page":"75","volume-title":"Proceedings. 4th International Workshop on. IEEE","author":"Shacham O.","year":"2003"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342261"},{"key":"e_1_3_2_1_11_1","unstructured":"T. Mikolov I. Sutskever K. Chen G. S. Corrado and J. Dean \"Distributed representations of words and phrases and their compositionality \" in Advances in neural information processing systems 2013 pp. 3111--3119.   T. Mikolov I. Sutskever K. Chen G. S. Corrado and J. Dean \"Distributed representations of words and phrases and their compositionality \" in Advances in neural information processing systems 2013 pp. 3111--3119."},{"key":"e_1_3_2_1_12_1","first-page":"33","volume":"20","author":"Sahlgren M.","year":"2008","journal-title":"Italian Journal of Disability Studies"},{"key":"e_1_3_2_1_13_1","unstructured":"Q. Le and T. Mikolov \"Distributed representations of sentences and documents \" in International Conference on Machine Learning 2014 pp. 1188--1196.   Q. Le and T. Mikolov \"Distributed representations of sentences and documents \" in International Conference on Machine Learning 2014 pp. 1188--1196."},{"key":"e_1_3_2_1_14_1","unstructured":"OpenCores.org \"http:\/\/www.opencores.org \" 2006.  OpenCores.org \"http:\/\/www.opencores.org \" 2006."},{"key":"e_1_3_2_1_15_1","first-page":"502","volume-title":"Springer","author":"E\u00e9n N.","year":"2003"}],"event":{"name":"ASPDAC '19: 24th Asia and South Pacific Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE ESS Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society","IEEE CAS","IEEE CEDA","IPSJ SIG-SLDM Information Processing Society of Japan, SIG System LSI Design Methodology"],"location":"Tokyo Japan","acronym":"ASPDAC '19"},"container-title":["Proceedings of the 24th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287661","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3287624.3287661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:04Z","timestamp":1750208884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287661"}},"subtitle":["a suspect prediction model for directed RTL debugging"],"short-title":[],"issued":{"date-parts":[[2019,1,21]]},"references-count":15,"alternative-id":["10.1145\/3287624.3287661","10.1145\/3287624"],"URL":"https:\/\/doi.org\/10.1145\/3287624.3287661","relation":{},"subject":[],"published":{"date-parts":[[2019,1,21]]},"assertion":[{"value":"2019-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}