{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:24:23Z","timestamp":1729621463723,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2005.1568841","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"221-228","source":"Crossref","is-referenced-by-count":5,"title":["Formal meaning of coverage metrics in simulation-based hardware design verification"],"prefix":"10.1109","author":[{"given":"I.","family":"Ugarte","sequence":"first","affiliation":[]},{"given":"P.","family":"Sanchez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"A Domain Coverage Metric for the Validation of behavioral VHDL descriptions","author":"zhang","year":"2000","journal-title":"Proc IITC 00"},{"key":"13","article-title":"Straight-line Programs in Polynomial Equation Solving","author":"krich","year":"2002","journal-title":"Foundations of Computational Mathematics Conference"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1006\/ffta.1999.0244"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1023\/A:1018981505752","article-title":"Polynomial interpolation in several variables","volume":"12","author":"gasca","year":"2000","journal-title":"Advances in Computational Mathematics"},{"key":"12","article-title":"Reconstructing algebraic functions from mixed data","author":"ar","year":"1997","journal-title":"IEEE Symp Foundations Computer Science"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896446"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/12.980008"},{"journal-title":"Fundamental Concepts for the Software Quality Engineer","year":"2002","author":"daughtrey","key":"5"},{"journal-title":"Black-Box Testing Techniques for Functional Testing of Software and Systems","year":"1995","author":"beizer","key":"4"},{"year":"0","key":"9"},{"article-title":"Theoretical Fundamentals of Functional Verification Based on Random Testbenches","year":"2005","author":"ugarte","key":"8"}],"event":{"name":"Tenth IEEE International High-Level Design Validation and Test Workshop, 2005.","location":"Napa Valley, CA, USA"},"container-title":["Tenth IEEE International High-Level Design Validation and Test Workshop, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10490\/33246\/01568841.pdf?arnumber=1568841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T02:30:12Z","timestamp":1497666612000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1568841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2005.1568841","relation":{},"subject":[]}}