{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T09:42:15Z","timestamp":1745142135825,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2002.1224443","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T14:56:02Z","timestamp":1065020162000},"page":"139-144","source":"Crossref","is-referenced-by-count":10,"title":["An equivalence checking methodology for hardware oriented C-based specifications"],"prefix":"10.1109","author":[{"given":"H.","family":"Saito","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Ogawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Sakunkonchak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Nanya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"2700","article-title":"Automatic Identification of Equivalence Points for Boolean Logic Verifi-cation","volume":"18","author":"donath","year":"1976","journal-title":"IBM Technical Disclosure Bulletin"},{"key":"ref3","article-title":"Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagram","author":"sakunkonchak","year":"2002","journal-title":"Proc Forum on Design Languages"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337339"},{"article-title":"Formal Sequential Equivalence Checking of Digital Systems by Symbolic Sim-ulation","year":"2000","author":"ritter","key":"ref5"},{"journal-title":"Programming in Slicer4","year":"0","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BFb0031808","article-title":"Va-lidity Checking for Combinations of Theories with Equality","author":"barrett","year":"1996","journal-title":"Proc Iniernatioal Conference on Formal Methods in Computer-Aided Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012606"},{"key":"ref1","first-page":"405","article-title":"Methodology for Hard-ware\/Software Co-verification in C\/C++","author":"semeria","year":"2000","journal-title":"Proc Asia South Pacific Design Automation Conference"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","acronym":"HLDVT-02","location":"Cannes, France"},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224443.pdf?arnumber=1224443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:57:31Z","timestamp":1497574651000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1224443\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224443","relation":{},"subject":[]}}