Techniques for the formal verification of analog and mixed- signal designs