{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:28:05Z","timestamp":1752460085444},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2005.1465397","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"3555-3558","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Monitor Generation from Regular Expression Based Specifications for Module Interface Verification"],"prefix":"10.1109","author":[{"given":"Y.","family":"Kakiuchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kitajima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Hamaguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Kashiwabara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253709"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40922-X_21","article-title":"monitor-based formal specification of pci","author":"shimizu","year":"2000","journal-title":"Proceedings of the Third International Conference of Formal Methods in Computer-Aided Design"},{"key":"1","article-title":"behavioral model construction for formal verification of advanced on-chip bus protocols","author":"kakiuchi","year":"2004","journal-title":"The Workshop on Synthesis And System Integration of Mixed Information technologies"},{"journal-title":"Component Wrapper Language Specification Rev 1 1","year":"2002","key":"7"},{"journal-title":"AMBA Specification Rev 2 0","year":"1999","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253810"},{"key":"4","first-page":"328","article-title":"on compliance test of on-chip bus for soc","author":"lin","year":"2004","journal-title":"Proceedings of the Asia and South Pacific Design Automation Conference"}],"event":{"name":"2005 IEEE International Symposium on Circuits and Systems","location":"Kobe, Japan"},"container-title":["2005 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9898\/31469\/01465397.pdf?arnumber=1465397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:35:36Z","timestamp":1497634536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1465397\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/iscas.2005.1465397","relation":{},"subject":[]}}