Computer Engineering Commons^™

Analog And Mixed Signal Verification Using Satisfiability Solver On Discretized Models, Nikita Ramesh Wanjale

UNLV Theses, Dissertations, Professional Papers, and Capstones

With increasing demand of performance constraints and the ever reducing size of the IC chips, analog and mixed-signal designs have become indispensable and increasingly complex in modern CMOS technologies. This has resulted in the rise of stochastic behavior in circuits, making it important to detect all the corner cases and verify the correct functionality of the design under all circumstances during the earlier stages of the design process. It can be achieved by functional or formal verification methods, which are still widely unexplored for Analog and Mixed-Signal (AMS) designs.

Design Verification is a process to validate the performance of the …