Faster projection based methods for circuit level verification