A formal method to improve SystemVerilog functional coverage.
An-Che ChengChia-Chih YenJing-Yang JouPublished in: HLDVT (2012)
Keyphrases
- high accuracy
- synthetic data
- preprocessing
- significant improvement
- main contribution
- objective function
- prior knowledge
- experimental evaluation
- high precision
- data sets
- similarity measure
- neural network
- cost function
- computational cost
- computational complexity
- input data
- image quality
- em algorithm
- computationally efficient
- detection method
- feature extraction