Simulation Formal Lab testing Choose directed, exhaustive, or random stimulus Single checks vs scoreboards