{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T13:07:27Z","timestamp":1753880847746,"version":"3.41.2"},"reference-count":23,"publisher":"World Scientific Pub Co Pte Ltd","issue":"09","funder":[{"DOI":"10.13039\/501100001809","name":"national natural science foundation of china","doi-asserted-by":"publisher","award":["61902421"],"award-info":[{"award-number":["61902421"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:p> Deep State Sequence-based (DSS) equivalence checking and path-based equivalence checking have been successfully applied for verification of digital designs between System Level Model (SLM) and Register Transfer Level (RTL). The DSS-based equivalence checking method can validate designs without mapping information, but the query size for each DSS is large compared with path-based verification. The query size for path-based methods is small, but the number of comparisons is large. In this work, we combine the advantages of DSS-based methods and path-based methods. We use DSS-based methods to find the corresponding paths and use cut-points like in path-based methods to split the DSS to reduce the query size. Finite State Machine with Datapath (FSMD) is used to represent the SLM and RTL models. Experimental results demonstrate that our method can effectively validate the designs and reduce the query size for DSS-based equivalence checking method. <\/jats:p>","DOI":"10.1142\/s0218126622501687","type":"journal-article","created":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T05:46:01Z","timestamp":1646372761000},"source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Method for Equivalence Checking Between System Level and RTL"],"prefix":"10.1142","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3896-6938","authenticated-orcid":false,"given":"Jian","family":"Hu","sequence":"first","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minhui","family":"Hu","sequence":"additional","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuang","family":"Zhao","sequence":"additional","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Kang","sequence":"additional","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haitao","family":"Yang","sequence":"additional","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Cheng","sequence":"additional","affiliation":[{"name":"The Sixty-third Research Institute, National University of Defense Technology, Nanjing 210000, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2022,3,3]]},"reference":[{"volume-title":"High-Level Synthesis: Introduction to Chip and System Design","year":"1999","author":"Gajski D. D.","key":"S0218126622501687BIB001"},{"key":"S0218126622501687BIB002","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2008.5580149"},{"key":"S0218126622501687BIB003","doi-asserted-by":"publisher","DOI":"10.1145\/1973009.1973054"},{"key":"S0218126622501687BIB004","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364404"},{"key":"S0218126622501687BIB005","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.208"},{"key":"S0218126622501687BIB006","doi-asserted-by":"publisher","DOI":"10.1109\/CADGraphics.2013.21"},{"key":"S0218126622501687BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-015-4257-0"},{"key":"S0218126622501687BIB008","first-page":"129","volume-title":"2016 17th Int. Symp. Quality Electronic Design (ISQED)","author":"Hu J.","year":"2016"},{"key":"S0218126622501687BIB009","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126621500742"},{"key":"S0218126622501687BIB010","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"S0218126622501687BIB011","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2314392"},{"key":"S0218126622501687BIB012","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-7470-7_72"},{"key":"S0218126622501687BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/CODESISSS51650.2020.9244039"},{"key":"S0218126622501687BIB014","first-page":"1","author":"Hu J.","year":"2020","journal-title":"ATS"},{"key":"S0218126622501687BIB015","first-page":"1","volume-title":"LATW","author":"Marquez C. I. C.","year":"2013"},{"key":"S0218126622501687BIB016","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2015.7406927"},{"key":"S0218126622501687BIB017","first-page":"214","volume":"28","author":"Hu J.","year":"2018","journal-title":"J. Circuits Syst. Comput."},{"key":"S0218126622501687BIB018","doi-asserted-by":"publisher","DOI":"10.1109\/92.386221"},{"key":"S0218126622501687BIB019","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2960511"},{"key":"S0218126622501687BIB020","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_22"},{"key":"S0218126622501687BIB021","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.913390"},{"volume-title":"Mathematical Theory of Computation","year":"1974","author":"Manna Z.","key":"S0218126622501687BIB022"},{"key":"S0218126622501687BIB023","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126622501687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T08:15:01Z","timestamp":1653639301000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218126622501687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,3]]},"references-count":23,"journal-issue":{"issue":"09","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["10.1142\/S0218126622501687"],"URL":"https:\/\/doi.org\/10.1142\/s0218126622501687","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"type":"print","value":"0218-1266"},{"type":"electronic","value":"1793-6454"}],"subject":[],"published":{"date-parts":[[2022,3,3]]},"article-number":"2250168"}}