Principal Investigator: Prabhat Mishra
Sponsor: Silicon Valley Community Foundation
Start Date: March 6, 2018
End Date: April 5, 2020
Evaluation of System-on-Chip (SoC) trustworthiness is a critical emerging need. This proposal aims to address this need through development of a comprehensive SoC security verification framework. Specific objectives of this proposal are: (1) vulnerability analysis of SoC components and their interactions; (2) automated generation of synthesizable security assertions to monitor SoC vulnerabilities; (3) automated test generation for security assertion coverage; (4) post-silicon security analysis through cost-effective synthesized checkers, (5) dynamic refinement of security assertions, (6) benchmarking and evaluation using SoCs.