US6308299B1 - Method and System for Combinational Verification Having Tight Integration of Verification Techniques