A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
Ruochen DaiTuba YavuzPublished in: CoRR (2021)
Keyphrases
- medical care
- low cost
- hardware and software
- real time
- state transition
- hardware implementation
- computer systems
- computing power
- computing systems
- hardware software
- general purpose
- embedded systems
- hidden markov models
- database
- high level
- parallel architectures
- hardware architecture
- artificial intelligence
- standard pc
- digital signal processor
- symbolic description