A hybrid verification approach
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix · Proceedings - ACM IEEE Design Automation Conference · 2002
One method of handling the computational complexity of the verification process is to combine the strengths of different approaches. We propose a hybrid verification technology combining symbolic trajectory evaluation with either symbolic model checking or SAT-based model checking. This reduces significantly the cost (both human and computing) of verifying circuits with complex initialisation, as well as simplifying proof development by enhancing verification productivity. The approach has been tested on current Intel designs.