Advance Approach for Formal Verification of Configurable Pulse Width Modulation Controller