OpenTitan Light
opentitan.org
Development Workflows
The standard development workflows:
Design Verification
Formal Verification
Building (and Testing) Software
Building Documentation
Using OpenOCD