Robust Boolean reasoning for equivalence checking and functional property verification