TY - GEN
T1 - Improving verification coverage of analog circuit blocks by state space-guided transient simulation
AU - Steinhorst, Sebastian
AU - Hedrich, Lars
PY - 2010
Y1 - 2010
N2 - In this contribution a novel methodology for verification of analog circuit blocks with the aim of full coverage of the analog state space is proposed. On a discretized state space model of the analog system, an efficient state space-guided input stimuli generation algorithm produces piecewise linear input stimuli for every input of the system under verification. Processed by a conventional transient circuit simulator, the simulation results are covering the system's complete dynamic behavior. Simulation by complete state space-covering input stimuli guarantees the verification results to be sound for every possible state and input stimulus of the circuit under verification, which increases the significance of property verification and equivalence checking of transistor netlists versus behavioral models. The application to example circuits shows the feasibility of the approach.
AB - In this contribution a novel methodology for verification of analog circuit blocks with the aim of full coverage of the analog state space is proposed. On a discretized state space model of the analog system, an efficient state space-guided input stimuli generation algorithm produces piecewise linear input stimuli for every input of the system under verification. Processed by a conventional transient circuit simulator, the simulation results are covering the system's complete dynamic behavior. Simulation by complete state space-covering input stimuli guarantees the verification results to be sound for every possible state and input stimulus of the circuit under verification, which increases the significance of property verification and equivalence checking of transistor netlists versus behavioral models. The application to example circuits shows the feasibility of the approach.
UR - http://www.scopus.com/inward/record.url?scp=77956003343&partnerID=8YFLogxK
U2 - 10.1109/ISCAS.2010.5537507
DO - 10.1109/ISCAS.2010.5537507
M3 - Conference contribution
AN - SCOPUS:77956003343
SN - 9781424453085
T3 - ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems
SP - 645
EP - 648
BT - ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems
T2 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems, ISCAS 2010
Y2 - 30 May 2010 through 2 June 2010
ER -