Tight Integration of Combinational Verification Methods (1998)

by J R Burch, V Singhal
Venue:Proc. Intl. Conf. on Computer-Aided Design