{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:08Z","timestamp":1750220828342,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T00:00:00Z","timestamp":1570579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Intel ISTC"},{"name":"SK Hynix"},{"name":"Siemens"},{"name":"Futurewei"},{"name":"U.S. Department of Energy","award":["DE-AR0000849"],"award-info":[{"award-number":["DE-AR0000849"]}]},{"name":"Google"},{"name":"Apple"},{"name":"Seagat"},{"name":"Advanced Research Projects Agency-Energy (ARPA-E)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,9]]},"DOI":"10.1145\/3359986.3361202","type":"proceedings-article","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T12:21:06Z","timestamp":1570450866000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["RTL bug localization through LTL specification mining (WIP)"],"prefix":"10.1145","author":[{"given":"Vighnesh","family":"Iyer","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donggyu","family":"Kim","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borivoje","family":"Nikolic","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Harry D Foster. 2015. Trends in functional verification: A 2014 industry study. In DAC.","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2744769.2744921"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1065579.1065786"},{"volume-title":"2007 IEEE International High Level Design Validation and Test Workshop. IEEE.","author":"Chang Kai","unstructured":"Kai hui Chang, Ilya Wagner, Valeria Bertacco, and Igor L. Markov. 2007. Automatic error diagnosis and correction for RTL designs. In 2007 IEEE International High Level Design Validation and Test Workshop. IEEE.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/ICCAD.2017.8203780"},{"unstructured":"Donggyu Kim. 2019. Simple RISC-V 3-stage Pipeline in Chisel. https:\/\/github.com\/ucb-bar\/riscv-mini","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/FPL.2018.00021"},{"key":"e_1_3_2_1_8_1","volume-title":"Investigating Program Behavior Using the Texada LTL Specifications Miner. In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE.","author":"Lemieux Caroline","year":"2015","unstructured":"Caroline Lemieux and Ivan Beschastnikh. 2015. Investigating Program Behavior Using the Texada LTL Specifications Miner. In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE."},{"key":"e_1_3_2_1_9_1","volume-title":"Seshia","author":"Li Wenchao","year":"2010","unstructured":"Wenchao Li, Alessandro Forin, and Sanjit A. Seshia. 2010. Scalable specification mining for verification and diagnosis. In Proceedings of the 47th Design Automation Conference on - DAC '10. ACM Press."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/TEST.2008.4700568"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/TCAD.2005.852031"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Process Mining and Verification of Properties: An Approach Based on Temporal Logic","author":"van der Aalst W. M. P.","unstructured":"W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. 2005. Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 130--147."},{"key":"e_1_3_2_1_13_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE","author":"Vasudevan Shobha","year":"2010","unstructured":"Shobha Vasudevan, David Sheridan, Sanjay Patel, David Tcheng, Bill Tuohy, and Daniel Johnson. 2010. GoldMine: Automatic assertion generation using data mining and static analysis. In 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010). IEEE."},{"key":"e_1_3_2_1_14_1","volume-title":"Perracotta. In Proceeding of the 28th international conference on Software engineering - ICSE '06. ACM Press.","author":"Yang Jinlin","year":"2006","unstructured":"Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. 2006. Perracotta. In Proceeding of the 28th international conference on Software engineering - ICSE '06. ACM Press."}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"acronym":"MEMOCODE '19","name":"MEMOCODE '19: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"La Jolla California"},"container-title":["Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361202","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359986.3361202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:27Z","timestamp":1750202007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359986.3361202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,9]]},"references-count":13,"alternative-id":["10.1145\/3359986.3361202","10.1145\/3359986"],"URL":"https:\/\/doi.org\/10.1145\/3359986.3361202","relation":{},"subject":[],"published":{"date-parts":[[2019,10,9]]},"assertion":[{"value":"2019-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}