analog and mixed signal design verification; design electronics; formal verification; performance; real-time and embedded systems reliability, testing, and fault-tolerance; signal processing systems; survey; theory; verification