{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:05:29Z","timestamp":1746245129931,"version":"3.40.4"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/isqed.2014.6783380","type":"proceedings-article","created":{"date-parts":[[2014,4,16]],"date-time":"2014-04-16T21:24:16Z","timestamp":1397683456000},"page":"589-596","source":"Crossref","is-referenced-by-count":0,"title":["Coverage of compositional property sets under reactive constraints"],"prefix":"10.1109","author":[{"given":"Binghao","family":"Bao","sequence":"first","affiliation":[]},{"given":"Jorg","family":"Bormann","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Wedler","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2008","author":"spear","journal-title":"SystemVerilog for Verification A Guide to Learning the Testbench Language Features","key":"15"},{"key":"16","first-page":"207","article-title":"Path predicate abstraction by complete interval property checking","author":"urdahl","year":"2010","journal-title":"Proc International Conference on Formal Methods in Computer-Aided Design (FMCAD"},{"year":"0","journal-title":"Opencores org","key":"13"},{"key":"14","article-title":"On consistency and completeness of property sets: Exploiting the property-based design process","author":"schickel","year":"2006","journal-title":"Proc Forum on Design Languages"},{"key":"11","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-63166-6_6","article-title":"A compositional rule for hardware design refinement","author":"mcmillan","year":"1997","journal-title":"Proceedings of the 9th International Conference on Computer Aided Verification"},{"year":"0","journal-title":"One Spin 360MV","key":"12"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1023\/A:1008739929481"},{"year":"2004","journal-title":"Property Specification Language - Reference Manual Version 11","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/203095.201069"},{"key":"10","first-page":"354","article-title":"Mutation coverage estimation for model checking","author":"lee","year":"0","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/LICS.1989.39190"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"5","volume":"9","author":"bormann","year":"2005","journal-title":"European"},{"key":"4","article-title":"Formal plausibility checks for environment constraints","author":"bao","year":"2012","journal-title":"Proceedings Forum on Specification & Design Languages"},{"key":"9","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-48153-2_21","article-title":"Have i written enough Properties? - A Method of Comparison between Specification and Implementation","author":"katz","year":"1999","journal-title":"Proc Advanced Research Working Conf Correct Hardware Design and Verification Methods (CHARME)"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/DATE.2012.6176546"}],"event":{"name":"2014 15th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2014,3,3]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2014,3,5]]}},"container-title":["Fifteenth International Symposium on Quality Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6779216\/6783285\/06783380.pdf?arnumber=6783380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T11:55:20Z","timestamp":1746186920000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6783380\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isqed.2014.6783380","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}