{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:14:46Z","timestamp":1730279686265,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwsoc.2003.1213066","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"378-383","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic simulation as a simplifying strategy for SoC verification"],"prefix":"10.1109","author":[{"given":"E.","family":"Dumitrescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Borrione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63475-4_1"},{"key":"ref3","first-page":"111","article-title":"A Hybrid verification approach: getting deep into the design","author":"hazelhurst","year":"2002","journal-title":"Proceedings of DAC"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_5"},{"journal-title":"Symbolic Model Checking","year":"1994","author":"mcmillan","key":"ref6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337306"},{"key":"ref5","first-page":"440","article-title":"You assume, we guarantee: methodology and case studies","author":"henzinger","year":"0","journal-title":"Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998) Lecture Notes in Computer Science 1427"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337305"},{"key":"ref7","first-page":"219","volume":"1703","author":"mcmillan","year":"0","journal-title":"Verification of infinite state systems by compositional model checking"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/288548.289053"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"}],"event":{"name":"3rd IEEE International Workshop on System-on-Chip for Real-Time Applications","acronym":"IWSOC-03","location":"Calgary, Alta., Canada"},"container-title":["The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8609\/27279\/01213066.pdf?arnumber=1213066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:37:39Z","timestamp":1489415859000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213066\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iwsoc.2003.1213066","relation":{},"subject":[]}}