Verifying nonlinear analog and mixed-signal circuits with inputs

IFAC-PapersOnLine, pp. 241-246, 2018.

Cited by: 3|Bibtex|Views31|Links
EI

Abstract:

Abstract We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be computed much more precisely. Based on this result, we propose a new simulation-driven verification algorithm and apply it to a suite of nonlinear and hybr...More

Code:

Data:

Your rating :
0

 

Tags
Comments