US6763505B2 - Apparatus and Method for Automated Use of Phase Abstraction for Enhanced Verification of Circuit Designs