High Resolution Pulse Propagation Driven Trojan Detection in Digital Logic: Optimization Algorithms and Infrastructure.
Sabyasachi DeyatiBarry John MuldreyAdit D. SinghAbhijit ChatterjeePublished in: ATS (2014)
Keyphrases
- high resolution
- optimization problems
- discrete optimization
- global optimization
- low resolution
- optimization methods
- optimization algorithm
- data structure
- object detection
- logic programming
- computationally efficient
- significant improvement
- approximately optimal
- optimization approaches
- classical logic
- optimization procedure
- constrained optimization
- computer vision
- automatic detection
- optimization method
- detection method
- detection algorithm
- theoretical analysis
- computational complexity
- high quality