{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:57:36Z","timestamp":1758124656936,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/socc.2015.7406927","type":"proceedings-article","created":{"date-parts":[[2016,3,27]],"date-time":"2016-03-27T22:08:48Z","timestamp":1459116528000},"page":"131-136","source":"Crossref","is-referenced-by-count":5,"title":["Formal equivalence checking between SLM and RTL descriptions"],"prefix":"10.1109","author":[{"given":"Jian","family":"Hu","sequence":"first","affiliation":[]},{"given":"Tun","family":"Li","sequence":"additional","affiliation":[]},{"given":"Sikun","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457049"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488878"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCAS.2009.5250316"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2004.1283659"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.913390"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2483028.2483070"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722241"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2013.6562666"},{"year":"1992","author":"gajski","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364404"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/MDT.2007.48","article-title":"Hybrid incremental abv for functional validation in tlm design flows","volume":"11","author":"bombieri","year":"2007","journal-title":"IEEE Design and Test of Computer GLSVLSI"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CADGraphics.2013.21"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.208"},{"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","author":"vasudevan","year":"2006","journal-title":"Design Automation for Embedded Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1973009.1973054"},{"key":"ref1","first-page":"214","article-title":"RTL-TLM equivalence checking based on simulation. In Design Test Symposium (EWDTS)","author":"bombieri","year":"2008","journal-title":"2008 East- West"},{"key":"ref9","first-page":"516","article-title":"Efficient translation validation of high-level synthesis","author":"li","year":"2013","journal-title":"ISQED 2013"},{"key":"ref20","first-page":"17","article-title":"Functional vectors generation for rt-level verilog descriptions based on path enumeration and constraint logic programming","author":"li","year":"2005","journal-title":"DSD 2005"},{"year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"year":"0","key":"ref24"},{"year":"0","key":"ref23"}],"event":{"name":"2015 28th IEEE International System-on-Chip Conference (SOCC)","start":{"date-parts":[[2015,9,8]]},"location":"Beijing, China","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 28th IEEE International System-on-Chip Conference (SOCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7363404\/7406870\/07406927.pdf?arnumber=7406927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T05:23:09Z","timestamp":1498281789000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7406927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/socc.2015.7406927","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}