Login / Signup
Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection.
Faiq Khalid Lodhi
Syed Rafay Hasan
Osman Hasan
Falah R. Awwad
Published in:
NORCAS (2015)
Keyphrases
</>
formal analysis
pipeline architecture
low cost
false positives
formal methods
hardware and software
real time
detection method
detection algorithm
automatic detection
agent model
object detection
computer systems
life cycle
detection rate
xml documents
false alarms
expert systems
database systems
image processing