Electronic systems of all sizes are routinely being integrated into single integrated circuits (ICs). While the largest systems-on-chip (SoC) make headlines, there are numerous small and medium SoCs that must be implemented quickly and efficiently. Verification of these designs must include hardware, low-level software (operating systems and drivers), and application software.