{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:48:24Z","timestamp":1725630504977},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/sasp.2008.4570785","type":"proceedings-article","created":{"date-parts":[[2008,7,29]],"date-time":"2008-07-29T16:43:07Z","timestamp":1217349787000},"page":"48-54","source":"Crossref","is-referenced-by-count":7,"title":["Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking"],"prefix":"10.1109","author":[{"given":"Sacha","family":"Loitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Wedler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Brehm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Vogt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Wehn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Germany","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020383505582"},{"year":"0","key":"18"},{"journal-title":"Customizable Embedded Processors","year":"2007","author":"ienne","key":"15"},{"key":"16","article-title":"hardware\/software co-verification","author":"klein","year":"2003","journal-title":"Embedded Systems Conference 2003"},{"key":"13","article-title":"an rtos on simulated hardware using co-verification","author":"harris","year":"2000","journal-title":"Embedded Systems Conference"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-1489-x"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127920"},{"journal-title":"Engineering the Complex SoC Fast Flexible Design with Configurable Processors","year":"2004","author":"rowen","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4460080202"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012369526-0\/50016-4"},{"key":"23","first-page":"338","article-title":"verification of the cell broadband engine (tm.) processor","author":"shimizu","year":"2006","journal-title":"Proc Design Automation Conference (DAC)"},{"year":"0","key":"24"},{"key":"25","first-page":"142","article-title":"a reconfigurable application specific instruction set processor for viterbi and log-map decoding","author":"vogt","year":"2006","journal-title":"Proc IEEE Workshop on Signal Processing (SIPS'06)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403388"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268843"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012369526-0\/50003-6"},{"year":"0","key":"2"},{"year":"0","key":"10"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48683-6_8","article-title":"verifying safety properties of a power pc-tm microprocessor using symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/26.539767"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014170513439"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"}],"event":{"name":"2008 Symposium on Application Specific Processors (SASP)","start":{"date-parts":[[2008,6,8]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2008,6,9]]}},"container-title":["2008 Symposium on Application Specific Processors"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4547461\/4570777\/04570785.pdf?arnumber=4570785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T10:27:51Z","timestamp":1497781671000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4570785\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/sasp.2008.4570785","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}