Wu's Characteristic Set Method for SystemVerilog Assertions Verification.
Xinyan GaoNing ZhouJinzhao WuDakui LiPublished in: J. Appl. Math. (2013)
Keyphrases
- initial set
- experimental evaluation
- pairwise
- significant improvement
- detection method
- dynamic programming
- feature set
- input data
- method finds
- neural network
- high precision
- segmentation method
- clustering method
- computational cost
- preprocessing
- similarity measure
- model selection
- support vector machine svm
- optimization algorithm
- small number
- synthetic data
- cost function
- knowledge base