SoC Trust Verification using Security Assertions and Checkers

Principal Investigator: Prabhat Mishra

Sponsor: Silicon Valley Community Foundation

Start Date: March 6, 2018

End Date: April 5, 2020

Amount: $100,000


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.