{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:17:19Z","timestamp":1730197039264,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/apccas.2008.4746385","type":"proceedings-article","created":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T15:24:53Z","timestamp":1232119493000},"page":"1775-1778","source":"Crossref","is-referenced-by-count":0,"title":["A technique of automatic monitor generation based on FSM"],"prefix":"10.1109","author":[{"family":"Zhang Duoli","sequence":"first","affiliation":[]},{"family":"Song Yukun","sequence":"additional","affiliation":[]},{"family":"Du Gaoming","sequence":"additional","affiliation":[]},{"family":"Zhai Yuanjie","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.936381"},{"key":"2","first-page":"418","article-title":"an observability-based code coverage metric for functional simulation [p]","author":"devadas","year":"1996","journal-title":"19th Design Automation Conf"},{"key":"1","article-title":"on the automatic generation of simulation vectors for functional verification[j]","volume":"25","author":"tun","year":"2003","journal-title":"Computing in Science and Engineering"},{"journal-title":"Monitor-Based Formal Specification of PCI FMCAD","year":"2000","author":"shimizu","key":"7"},{"year":"0","key":"6"},{"key":"5","first-page":"801","author":"shimizu","year":"2002","journal-title":"deriving a simulation input generator and a coverage metric from a formal specification [P] 39th Design Automation Conf (DAC 02)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"journal-title":"Property specification language Reference manual","year":"0","key":"9"},{"journal-title":"Formal Verification of Digital Hardware [M]","year":"2000","author":"han","key":"8"}],"event":{"name":"APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","start":{"date-parts":[[2008,11,30]]},"location":"Macao, China","end":{"date-parts":[[2008,12,3]]}},"container-title":["APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4723905\/4745943\/04746385.pdf?arnumber=4746385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T19:24:01Z","timestamp":1489778641000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4746385\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/apccas.2008.4746385","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}