{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:54:37Z","timestamp":1730328877878,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,6,7]]},"DOI":"10.1145\/996566.996579","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"41-44","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Defining coverage views to improve functional coverage analysis"],"prefix":"10.1145","author":[{"given":"Sigal","family":"Asaf","sequence":"first","affiliation":[{"name":"IBM Research Laboratory, Haifa, Israel"}]},{"given":"Eitan","family":"Marcus","sequence":"additional","affiliation":[{"name":"IBM Research Laboratory, Haifa, Israel"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[{"name":"IBM Research Laboratory, Haifa, Israel"}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"issue":"8","key":"e_1_3_2_1_1_1","article-title":"Design verification of the HP9000 series 700 PA-RISC workstations","volume":"14","author":"Ahi A.","year":"1992","unstructured":"A. Ahi , G. Burroughs , A. Gore , S. LaMar , C. Linand , and A. Wieman . Design verification of the HP9000 series 700 PA-RISC workstations . Hewlett-Packard Journal , 14 ( 8 ), August 1992 . A. Ahi, G. Burroughs, A. Gore, S. LaMar, C. Linand, and A. Wieman. Design verification of the HP9000 series 700 PA-RISC workstations. Hewlett-Packard Journal, 14(8), August 1992.","journal-title":"Hewlett-Packard Journal"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307540"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277081"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514119"},{"key":"e_1_3_2_1_7_1","volume-title":"Subsystem testing Including Object-Based and Object-Oriented Testing","author":"Marick B.","year":"1985","unstructured":"B. Marick . The Craft of Software Testing , Subsystem testing Including Object-Based and Object-Oriented Testing . Prentice-Hall , 1985 . B. Marick. The Craft of Software Testing, Subsystem testing Including Object-Based and Object-Oriented Testing. Prentice-Hall, 1985."}],"event":{"name":"DAC04: The 41st Annual Design Automation Conference 2004","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"San Diego CA USA","acronym":"DAC04"},"container-title":["Proceedings of the 41st annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/996566.996579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T18:58:15Z","timestamp":1693853895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":7,"alternative-id":["10.1145\/996566.996579","10.1145\/996566"],"URL":"https:\/\/doi.org\/10.1145\/996566.996579","relation":{},"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}