Constraint-based verification of delta-sigma modulators using interval analysis

Constraint based methods have been advocated as verification solution for analog and mixed signal (ASM) designs. Constraint-based verification (CBV) is based on the concept of adding properties as constraints to the design such that detection of possible errors is due to constraint violation during the simulation. In this paper, we propose a new method to conduct constraint-based verification on a DeltaSigma modulator using interval analysis. In particular, we are interested in the verification of the stability properties of DeltaSigma modulators.