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 |