Contributing to Verification

Verification is an essential part of making OpenTitan a system that can be used confidently for both research and industrial applications. Please have a look at the following pages for more information:

• Verification Methodology
• Security Countermeasure Verification Framework
• Assertions