# 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)