Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models.

Henry Selvaraj, Nikita Ramesh Wanjale

Browse the full ICSEng paper archive.