| # Summary | |
| [Getting Started](README.md) | |
| # Workflows | |
| - [Design Verification](setup_dv.md) | |
| - [Formal Verification](setup_formal.md) | |
| - [Building (and Testing) Software](build_sw.md) | |
| - [Building Documentation](build_docs.md) | |
| # Tools Setup | |
| - [FPGA Setup](setup_fpga.md) | |
| - [Verilator Setup](setup_verilator.md) | |
| - [Installing OpenOCD](install_openocd.md) | |
| - [Installing Vivado](install_vivado/README.md) |