Verification in the Spotlight (or Hot Lights) of DAC