A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification.
Hao ZhengJared AhrensTian XiaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- segmentation method
- case study
- error rate
- cost function
- fully automatic
- high accuracy
- high precision
- detection method
- optimization algorithm
- support vector machine svm
- mutual information
- computational cost
- prior knowledge
- preprocessing
- support vector
- evaluation method
- optimization method
- classification method
- input data
- evolutionary algorithm
- computational complexity