{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T04:21:47Z","timestamp":1744345307851,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341878"},{"type":"electronic","value":"9783642341885"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34188-5_17","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T14:04:33Z","timestamp":1349964273000},"page":"190-202","source":"Crossref","is-referenced-by-count":4,"title":["Reverse Coverage Analysis"],"prefix":"10.1007","author":[{"given":"Ariel","family":"Birnbaum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fournier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Mittermaier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Wile, B., Goss, J.C., Roesner, W.: Comprehensive Functional Verification - The Complete Industry Cycle. Elsevier (2005)"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MDT.2004.1277900","volume":"21","author":"A. Adir","year":"2004","unstructured":"Adir, A., Almog, E., Fournier, L., Marcus, E., Rimon, M., Vinov, M., Ziv, A.: Genesys-Pro: Innovations in test program generation for functional processor verification. IEEE Design and Test of Computers\u00a021(2), 84\u201393 (2004)","journal-title":"IEEE Design and Test of Computers"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Shacham, O., Wachs, M., Solomatnikov, A., Firoozshahian, A., Richardson, S., Horowitz, M.: Verification of chip multiprocessor memory systems using a relaxed scoreboard. In: Proceedings of the 41st IEEE\/ACM International Symposium on Microarchitecture (MICRO-41), pp. 294\u2013305 (2008)","DOI":"10.1109\/MICRO.2008.4771799"},{"key":"17_CR4","unstructured":"Piziali, A.: Functional Verification Coverage Measurement and Analysis. Springer (2004)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Carter, H.B., Hemmady, S.G.: Metric Driven Design Verification: An Engineer\u2019s and Executive\u2019s Guide to First Pass Success. Springer (2007)","DOI":"10.1007\/978-0-387-38152-7"},{"issue":"11","key":"17_CR6","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1109\/TC.2006.173","volume":"55","author":"H. Azatchi","year":"2006","unstructured":"Azatchi, H., Fournier, L., Marcus, E., Ur, S., Ziv, A., Zohar, K.: Advanced analysis techniques for cross-product coverage. IEEE Transactions on Computers\u00a055(11), 1367\u20131379 (2006)","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Hajjar, A., Chen, T., Munn, I., Andrews, A., Bjorkman, M.: High quality behavioral verification using statistical stopping criteria. In: Proceedings of the 2001 Design, Automation and Test in Europe Conference, pp. 411\u2013418 (2001)","DOI":"10.1109\/DATE.2001.915057"},{"issue":"1","key":"17_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1147\/rd.461.0053","volume":"46","author":"J.M. Ludden","year":"2002","unstructured":"Ludden, J.M., et al.: Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems. IBM Journal of Research and Development\u00a046(1), 53\u201376 (2002)","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Aharoni, M., Asaf, S., Fournier, L., Koyfman, A., Nagel, R.: FPgen - a deep-knowledge test generator for floating point verification. In: Proceedings of the 8th High-Level Design Validation and Test Workshop, pp. 17\u201322 (2003)","DOI":"10.1109\/HLDVT.2003.1252469"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Buchnik, E., Ur, S.: Compacting regression-suites on-the-fly. In: Proceedings of the 4th Asia Pacific Software Engineering Conference, pp. 385\u2013394 (1997)","DOI":"10.1109\/APSEC.1997.640195"},{"key":"17_CR11","unstructured":"Lyu, M.: The Handbook of Software Reliability Engineering. McGraw Hill (1996)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34188-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T20:50:18Z","timestamp":1744318218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34188-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341878","9783642341885"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34188-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}