Towards Verifiably Secure Systems-on-Chip Platforms
2019 IEEE 28th Asian Test Symposium (ATS)（2019）
Key words
security,formal verification,property specification,security validation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined