Formal verification of analog and mixed signal designs: A survey