{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:04:11Z","timestamp":1760079851696,"version":"3.37.3"},"reference-count":9,"publisher":"Wiley","license":[{"start":{"date-parts":[[2015,5,7]],"date-time":"2015-05-07T00:00:00Z","timestamp":1430956800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["VLSI Design"],"published-print":{"date-parts":[[2015,5,7]]},"abstract":"<jats:p>The growing complexity and higher time-to-market pressure make the functional verification of modern large scale hardware systems more challenging. These challenges bring the requirement of a high quality testbench that is capable of thoroughly verifying the design. To reveal a bug, the testbench needs to activate it by stimulus, propagate the erroneous behaviors to some checked points, and detect it at these checked points by checkers. However, current dominant verification approaches focus only on the activation aspect using a coverage model which is not qualified and ignore the propagation and detection aspects. Using a new metric, this paper qualifies the testbench by mutation analysis technique with the consideration of the quality of the stimulus, the coverage model, and the checkers. Then the testbench is iteratively refined according to the qualification feedback. We have conducted experiments on two designs of different scales to demonstrate the effectiveness of the proposed method in improving the quality of the testbench.<\/jats:p>","DOI":"10.1155\/2015\/256474","type":"journal-article","created":{"date-parts":[[2015,5,7]],"date-time":"2015-05-07T21:20:38Z","timestamp":1431033638000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"title":["Functional Testbench Qualification by Mutation Analysis"],"prefix":"10.1155","volume":"2015","author":[{"given":"Kai","family":"Huang","sequence":"first","affiliation":[{"name":"Department of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310027, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9234-5097","authenticated-orcid":true,"given":"Peng","family":"Zhu","sequence":"additional","affiliation":[{"name":"Institute of Very Large Scale Integrated Circuit Design, Zhejiang University, Hangzhou 310027, China"}]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[{"name":"Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China"}]},{"given":"Xiaolang","family":"Yan","sequence":"additional","affiliation":[{"name":"Institute of Very Large Scale Integrated Circuit Design, Zhejiang University, Hangzhou 310027, China"}]}],"member":"311","reference":[{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70243"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2012.2189394"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2010.62"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-012-5303-6"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2012.2188800"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1155\/2010\/436328"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/43.936381"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-006-8634-3"}],"container-title":["VLSI Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/archive\/2015\/256474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/archive\/2015\/256474.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/archive\/2015\/256474.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T04:09:21Z","timestamp":1607486961000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.hindawi.com\/journals\/vlsi\/2015\/256474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,7]]},"references-count":9,"alternative-id":["256474","256474"],"URL":"https:\/\/doi.org\/10.1155\/2015\/256474","relation":{},"ISSN":["1065-514X","1563-5171"],"issn-type":[{"type":"print","value":"1065-514X"},{"type":"electronic","value":"1563-5171"}],"subject":[],"published":{"date-parts":[[2015,5,7]]}}}