Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models. - Henry Selvaraj; Nikita Ramesh Wanjale (ICSEng, 2017)