{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:32:36Z","timestamp":1725701556741},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/test.2008.4700593","type":"proceedings-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T17:55:58Z","timestamp":1228931758000},"page":"1-10","source":"Crossref","is-referenced-by-count":13,"title":["Integration of Hardware Assertions in Systems-on-Chip"],"prefix":"10.1109","author":[{"given":"J.","family":"Geuzebroek","sequence":"first","affiliation":[]},{"given":"B.","family":"Vermeulen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Dialite Platform - Your Verification Runs on-chip and at Speed","year":"0","key":"19"},{"journal-title":"ARM AMBA 3 Specification and Assertions","year":"0","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2004.1329364"},{"key":"23","first-page":"294","article-title":"adding debug enhancements to assertion checkers for hardware emulation and silicon debug","author":"boul?e","year":"2006","journal-title":"In Proceedings International Conference on Computer Design (ICCD)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.238683"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt:20060217"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016590"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341519"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MP.2005.1405795"},{"key":"14","article-title":"the chip is ready. am i done? on-chip verification using assertion processors","author":"nacif","year":"2003","journal-title":"International Conference on Very Large Scale Integration of System-on-Chip"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2002.1041815"},{"journal-title":"Coresight on-chip Debug and Trace Technology","year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt:20060209"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"journal-title":"Identify Pro","year":"0","key":"20"},{"key":"2","article-title":"an assertion library for on-chip whitebox verification at run-time","author":"nacif","year":"2003","journal-title":"IEEE Latin American Test Workshop"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20050194"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319966"},{"key":"7","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/10722167_40","article-title":"focs: automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Proceedings of the 12th International Conference on Computer Aided Verification"},{"journal-title":"Open Verification Library","year":"0","key":"6"},{"journal-title":"SystemVerilog Assertions","year":"0","key":"5"},{"journal-title":"PSL Language Reference Manual version 1 1","year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.66"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487886"}],"event":{"name":"2008 IEEE International Test Conference","start":{"date-parts":[[2008,10,28]]},"location":"Santa Clara, CA","end":{"date-parts":[[2008,10,30]]}},"container-title":["2008 IEEE International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4690905\/4700527\/04700593.pdf?arnumber=4700593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T14:37:29Z","timestamp":1497796649000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4700593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/test.2008.4700593","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}