Open Collections

Finding all DC operating points using interval-arithmetic-based verification algorithms

University of British Columbia

Finding operating points of circuits is a crucial first step for simulation and verification. Traditional operating point analyses such as homotopy analysis do find an operating point. However, a circuit may have many DC equilibria, and failing to consider an unintended initial condition can lead to failures escaping to the physical silicon. This work presents a method for finding all DC equilibrium points; this approach is based on interval-arithmetic-based verification algorithms; and our open-source implementation supports state-of-the-art short-channel device models. This work also presents what we believe to be the first, completely automatic verification of the Rambus ring-oscillator start-up problem. Our method offers large performance and scalability advantages when compared with the dReal and Z3 SMT solvers.

Text

2018-12-03

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/67954

Computer Science

University of British Columbia

UBCV

http://creativecommons.org/licenses/by-nc-nd/4.0/