Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs.

Bin Lin Jinchao Chen Fei Xie

Published in: DATE (2020)

Keyphrases

low cost
detection accuracy
false alarms
automatic detection
hardware and software
detection method
image processing
hardware implementation
test cases
detection algorithm
object detection
real time
video data
hough transform
computer systems
personal computer
video sequences
detection scheme