{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:45:42Z","timestamp":1725723942705},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1109\/iscas.2008.4541571","type":"proceedings-article","created":{"date-parts":[[2008,6,16]],"date-time":"2008-06-16T12:26:17Z","timestamp":1213619177000},"page":"928-931","source":"Crossref","is-referenced-by-count":0,"title":["AMBA AHB bus potocol checker with efficient debugging mechanism"],"prefix":"10.1109","author":[{"family":"Yi-Ting Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chien-Chou Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ing-Jer Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"129","article-title":"high-level specification and automatic generation of ip interface monitors","author":"oliveira","year":"2002","journal-title":"IEEE Design Automation Conference"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.2002.1012732","article-title":"deriving a simulation input generator and a coverage metric from a formal specification","author":"shimizu","year":"2002","journal-title":"Proceedings of the 39th conference on Design automation"},{"key":"11","article-title":"on compliance test of on-chip bus for soc","author":"lin","year":"2004","journal-title":"Proceedings of the 2004 conference on Asia South Pacific design automation"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.1109\/ASIC.2001.954716","article-title":"testing for amba compliance","author":"nightingale","year":"2001","journal-title":"Proc 14th Annu IEEE Int ASIC\/SOC Conf"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ASIC.1999.806467"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"1","first-page":"72","article-title":"verifying the performance of the pci local bus using symbolic techniques","author":"aguiar","year":"1995","journal-title":"Proceedings of International Conference on Computer Design VLSI in Computers and Processors"},{"journal-title":"Property Specification Language Reference Manual [Online]","year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6","article-title":"design constraints in symbolic model checking","author":"kaufmann","year":"1998","journal-title":"Proceedings of the 10th International Conference on Computer Aided Verification"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2000.951664"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253709"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Symposium on Circuits and Systems - ISCAS 2008","start":{"date-parts":[[2008,5,18]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2008,5,21]]}},"container-title":["2008 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4534149\/4541329\/04541571.pdf?arnumber=4541571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T05:09:27Z","timestamp":1497762567000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4541571\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iscas.2008.4541571","relation":{},"subject":[],"published":{"date-parts":[[2008,5]]}}}