Simulation

This section is still being written. Check back soon — in the meantime, the Quick Start Tutorial covers verifying a design in simulation.