SAT-based post-processing for regional capture power reduction in at-speed scan test generation.
Stephan EggersglüßKohei MiyaseXiaoqing WenPublished in: ETS (2016)
Keyphrases
- post processing
- test generation
- power reduction
- test cases
- preprocessing
- power consumption
- low power
- high speed
- power dissipation
- power saving
- real time
- quality assurance
- software testing
- static analysis
- decision trees
- sat solvers
- learning algorithm
- human experts
- data mining process
- multi agent systems
- machine learning