{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:40:31Z","timestamp":1761709231781,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1109\/isqed.2016.7479188","type":"proceedings-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T16:27:41Z","timestamp":1464280061000},"page":"129-134","source":"Crossref","is-referenced-by-count":4,"title":["Equivalence checking between SLM and RTL using machine learning techniques"],"prefix":"10.1109","author":[{"family":"Jian Hu","sequence":"first","affiliation":[]},{"family":"Tun Li","sequence":"additional","affiliation":[]},{"family":"Sikun Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"516","article-title":"Efficient translation validation of high-level syntesis","author":"li","year":"2013","journal-title":"ISQED'13"},{"key":"ref11","first-page":"1500","article-title":"Optimizing equivalence checking for behavioral synthesis","author":"hao","year":"2010","journal-title":"DATE'10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488878"},{"key":"ref13","first-page":"556","article-title":"An equivalence-checking method for scheduling verification in high-level syntesis","volume":"27","author":"karfa","year":"2008","journal-title":"IEEE TCAD"},{"key":"ref14","first-page":"497","article-title":"Equivalence checking of scheduling with speculative code transformations in high-level syntesis","author":"lee","year":"2011","journal-title":"APS-DAC"},{"journal-title":"High Level Synthesis - Introduction to Chip and System Design","year":"1992","author":"gajski","key":"ref15"},{"key":"ref16","first-page":"1","article-title":"Formal equivalence checking between high-level and rtl hardware designs","author":"carlos","year":"2013","journal-title":"LATW'13"},{"journal-title":"UT Electronic Theses","article-title":"Using data mining to increase controllability and observability in functional verification","year":"2014","key":"ref17"},{"journal-title":"Mathematical theory of computation","year":"1974","author":"manna","key":"ref18"},{"journal-title":"Pattern Recognition and Machine Learning","year":"2008","author":"bishop","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364404"},{"key":"ref3","first-page":"223","article-title":"Simulation-based equivalence checking between systemc models at different levels of abstraction","author":"gro?e","year":"2011","journal-title":"GLSVLSI'13"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CADGraphics.2013.21"},{"key":"ref5","first-page":"320","article-title":"Assertion-based functional consistency checking between tlm and rtl models","author":"chen","year":"2012","journal-title":"VLSI Design'12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479812"},{"key":"ref7","first-page":"377","article-title":"Sequential equivalence checking between system level and rtl descriptions","volume":"12","author":"vasudevan","year":"2006","journal-title":"IEEE DAES"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403472"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2008.5580149"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCAS.2009.5250316"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"year":"0","key":"ref22"},{"year":"0","key":"ref21"},{"year":"0","key":"ref24"},{"year":"0","key":"ref23"}],"event":{"name":"2016 17th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2016,3,15]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2016,3,16]]}},"container-title":["2016 17th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7470728\/7479140\/07479188.pdf?arnumber=7479188","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T15:59:01Z","timestamp":1474646341000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7479188\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isqed.2016.7479188","relation":{},"subject":[],"published":{"date-parts":[[2016,3]]}}}