A hybrid verification approach: getting deep into the design.

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix

Browse the full DAC paper archive.