Coverage Assertion for Coverage Measurement in a Hardware-Acclerated Environment
碩士 === 國立清華大學 === 資訊工程學系 === 101 === Since exhaustive functional verification is practically unachievable, coverage metrics are commonly used to avoid unnecessary verification repetitions and to measure the completeness of the verification test suit. However, in a modern hardware-accelerated environ...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2013
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/12959290813246989671 |