A hybrid verification approach: getting deep into the design.

Scott Hazelhurst Osnat Weissberg Gila Kamhi Limor Fix A hybrid verification approach: getting deep into the design. 111-116 2002 conf/dac/2002 DAC http://doi.acm.org/10.1145/513918.513948 db/conf/dac/dac2002.html#HazelhurstWKF02