A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs.
Yanyan GaoXi LiPublished in: J. Electron. Test. (2013)
Keyphrases
- significant improvement
- neural network
- clustering method
- data sets
- similarity measure
- bayesian networks
- high accuracy
- detection method
- synthetic data
- segmentation method
- clustering algorithm
- decision trees
- computational complexity
- k means
- artificial intelligence
- dynamic programming
- experimental evaluation
- high precision