{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:24:05Z","timestamp":1725704645176},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aspdac.2006.1594726","type":"proceedings-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T12:38:08Z","timestamp":1143031088000},"page":"448-453","source":"Crossref","is-referenced-by-count":1,"title":["FSM-based transaction-level functional coverage for interface compliance verification"],"prefix":"10.1109","author":[{"family":"Man-Yun Su","sequence":"first","affiliation":[]},{"family":"Che-Hua Shih","sequence":"additional","affiliation":[]},{"family":"Juinn-Dar Huang","sequence":"additional","affiliation":[]},{"family":"Jing-Yang Jou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Property Specification Language - Language Reference Manual Ver 1 1","year":"0","key":"17"},{"journal-title":"AMBA Specification (Rev 2 0)","year":"1999","key":"18"},{"key":"15","article-title":"Comparing TestWizard and specman for transaction-level verification","author":"browy","year":"0","journal-title":"White Paper"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253716"},{"key":"13","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"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253810"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268923"},{"key":"12","first-page":"12","article-title":"Formal compliance verification of interface protocols","author":"yang","year":"2005","journal-title":"Proc IEEE Int'l Symp VLSI Design Automation and Test"},{"key":"3","first-page":"46","article-title":"HDL verification coverage","author":"drako","year":"1998","journal-title":"Integrated System Design Magazine"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"1","article-title":"Reuse methodology manual for system-on-a-chip designs, 3rd edition","author":"keating","year":"2002","journal-title":"Kluwer Academic Publishers"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996580"},{"key":"7","first-page":"158","article-title":"User defined coverage-a tool supported methodology for design verification","author":"grinwald","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"6","first-page":"183","article-title":"ECC: Extended condition coverage for design verification using excitation and observation","author":"min","year":"2001","journal-title":"Proc Pacific Rim Int l Symp Dependable Computing"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1999.766663"},{"key":"4","first-page":"152","article-title":"OCCOM: efficient computation of observability-based code coverage metrics for functional verification","author":"fallah","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253710"},{"key":"8","first-page":"41","article-title":"Defining coverage views to improve functional coverage analysis","author":"asaf","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"}],"event":{"name":"Asia and South Pacific Conference on Design Automation, 2006.","location":"Yokohama, Japan"},"container-title":["Asia and South Pacific Conference on Design Automation, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10626\/33561\/01594726.pdf?arnumber=1594726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T00:45:04Z","timestamp":1489538704000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1594726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2006.1594726","relation":{},"subject":[]}}