{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:42:51Z","timestamp":1725522171586},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icvd.2004.1260908","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T17:52:40Z","timestamp":1087840360000},"page":"93-100","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of C language based VLSI designs"],"prefix":"10.1109","author":[{"given":"M.","family":"Fujita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-48153-2_22","article-title":"Program Slicing for VHDL","author":"clarke","year":"1999","journal-title":"Prof Conf Correct Hardware Design and Verification Methods"},{"journal-title":"Codesurfer","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337339"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012606"},{"key":"ref14","first-page":"308","article-title":"Hardware Verification Using ANSI-C Programs as a Reference","author":"clarke","year":"2003","journal-title":"Proc Asia South Pacific Design Automation Conference"},{"article-title":"Formal Sequential Equivalence Checking of Digital Systems by Symbolic Simulation","year":"0","author":"ritter","key":"ref15"},{"journal-title":"SystemC","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/500001.500019","article-title":"the standard specc language","author":"fujita","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"ref6","article-title":"Boolean Programs: A. Model and Process For Software Analysis","author":"ball","year":"0","journal-title":"Microsoft Research"},{"key":"ref5","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":"ref8","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BFb0031808","article-title":"Validity Checking for Combinations of Theories with Equality","author":"barrett","year":"1996","journal-title":"Proc International Conference on Formal Methods in Computer-Aided Design"},{"key":"ref7","article-title":"Difference Decision Diagrams","author":"m?ller","year":"1999","journal-title":"Technical report IT-TR-1999-023"},{"journal-title":"System Design A Practical Guide With SpecC","year":"2001","author":"gerstlauer","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"article-title":"Program slices: Formal, psychological, and practical investigations of an automatic program abstraction","year":"1979","author":"weiser","key":"ref9"}],"event":{"name":". 17th International Conference on VLSI Design","acronym":"ICVD-04","location":"Mumbai, India"},"container-title":["17th International Conference on VLSI Design. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8911\/28180\/01260908.pdf?arnumber=1260908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:12:11Z","timestamp":1497586331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1260908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icvd.2004.1260908","relation":{},"subject":[]}}