Identifying Specious LUTs for Satisfiability Don't Care Trojan Detection.
Lingjuan WuXuefei LiJiacheng ZhuJian ZhengWei HuPublished in: SoCC (2021)
Keyphrases
- detection accuracy
- detection algorithm
- detection method
- detection rate
- false alarms
- automatic detection
- computational complexity
- detection scheme
- anomaly detection
- satisfiability problem
- long term
- event detection
- false positives
- np complete
- sat problem
- automatic identification
- object detection
- decision procedures
- terminological reasoning