Summary

Getting Started

Workflows

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

Tools Setup

• FPGA Setup
• Verilator Setup
• Installing OpenOCD
• Installing Vivado