{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T20:03:26Z","timestamp":1746302606276},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/dsd.2007.4341519","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:59Z","timestamp":1191951959000},"page":"535-538","source":"Crossref","is-referenced-by-count":3,"title":["On-Chip Verification of NoCs Using Assertion Processors"],"prefix":"10.1109","author":[{"given":"Mohammad Reza","family":"Kakoee","sequence":"first","affiliation":[]},{"given":"M.H","family":"Neishaburi","sequence":"additional","affiliation":[]},{"given":"Masoud","family":"Daneshtalab","sequence":"additional","affiliation":[]},{"given":"Saeed","family":"Safari","sequence":"additional","affiliation":[]},{"given":"Zainalabedin","family":"Navabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/DAC.2002.1012607","article-title":"High-level specification and automatic generation of ip interface monitors","author":"oliveira","year":"2002","journal-title":"proceedings of 39th Design Automation Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1206281"},{"key":"ref12","article-title":"Digital Design and Implementation with Field Programmable Devices","author":"navabi","year":"2004","journal-title":"Springer"},{"key":"ref13","article-title":"RASoC: A Router Soft-Core for Networks-on-Chip","author":"zeferino","year":"2004","journal-title":"Proc DATE Design Automation and Test in Europe"},{"year":"0","key":"ref4"},{"article-title":"Assertion-Based Design","year":"2004","author":"foster","key":"ref3"},{"year":"2004","key":"ref6"},{"year":"2006","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487886"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016590"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2003.1232240"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2007.67"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.66"}],"event":{"name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","start":{"date-parts":[[2007,8,29]]},"location":"Lubeck, Germany","end":{"date-parts":[[2007,8,31]]}},"container-title":["10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341432\/4341433\/04341519.pdf?arnumber=4341519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:46:31Z","timestamp":1497743191000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341519\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/dsd.2007.4341519","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}