opentitan.org

Development Workflows

The standard development workflows:

  • Design Verification
  • Formal Verification
  • Building (and Testing) Software
  • Building Documentation
  • Using OpenOCD