Henry Selvaraj, Nikita Ramesh Wanjale. Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models. In Henry Selvaraj, Grzegorz Chmaj, Dawid Zydek, editors, 25th International Conference on Systems Engineering, ICSEng 2017, Las Vegas, NV, USA, August 22-24, 2017. pages 418-424, IEEE Computer Society, 2017. [doi]
Abstract is missing.