Verifying design functionality is becoming increasingly difficult. Commonly cited studies claim that up to 70% of the RTL design effort is spent on functional verification, and still over 2/3 of chip ...