Effectiveness of circuit-level continuation methods for Trojan State Elimination verification.
Yen-Ting WangDegang ChenRandall L. GeigerPublished in: MWSCAS (2013)
Keyphrases
- benchmark datasets
- significant improvement
- databases
- methods require
- levels of abstraction
- empirical studies
- image sequences
- genetic algorithm
- neural network
- multiscale
- hidden markov models
- computational cost
- state space
- machine learning
- data mining
- machine learning methods
- computationally expensive
- qualitative and quantitative
- real time