US7448008B2 - Method, System, and Program Product for Automated Verification of Gating Logic Using Formal Verification