Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions
Publication Year
2017
Type
Book Chapter
Book Title
Hardware IP Security and Trust
Pages
287–323
Publisher
Springer International Publishing