Add to ORKGThis contribution presents an approach to nonlinear dynamic analog circuit verification. The input-output behavior of two systems is analyzed to check whether they are functionally similar. The algorithm compares the implicit nonlinear state space descriptions of the two systems on the same or on different levels of abstraction by sampling the state spaces and by building a nonlinear one-to-one mapping of the state spaces. Some examples demonstrate the feasibility of our approach. I
Abstract. The verification of analog designs is a challenging and exhaustive task that requires deep...
An extension to a formal verification approach of hybrid systems is proposed to verify analog and mi...
This paper proposes a semi-formal methodology for modeling and verification of analog circuits behav...
Conventional temporal logics like CTL (Clarke et al., 2000), used for specifying properties of digit...
In this work, an approach to the "verification-oriented" modeling of the analog parts' behavior of m...
The verification of analog designs is a challenging and exhaustive task that requires deep understan...
Abstract — We address the problem of formally verifying non-linear analog circuits with an uncertain...
In this paper a method for testing nonlinear analog circuits by supply current variation and supply ...
Abstract—Formal methods have been advocated for the verification of digital designs where correctnes...
In this dissertation the formal abstraction and verification of analog circuit is examined. An appro...
Abstract—We present ABCD-NL, a technique that approximates non-linear analog circuits using purely B...
Abstract. Formal methods have been advocated for the verification of digital design where correctnes...
Abstract — We have developed a field programmable analog array (FPAA) that can be configured to synt...
This paper proposes a verification flow for mixed-signal circuits. The presented flow is based on 'b...
This dissertation presents a novel verification technique for analog and mixed signal circuits. Anal...
Abstract. The verification of analog designs is a challenging and exhaustive task that requires deep...
An extension to a formal verification approach of hybrid systems is proposed to verify analog and mi...
This paper proposes a semi-formal methodology for modeling and verification of analog circuits behav...
Conventional temporal logics like CTL (Clarke et al., 2000), used for specifying properties of digit...
In this work, an approach to the "verification-oriented" modeling of the analog parts' behavior of m...
The verification of analog designs is a challenging and exhaustive task that requires deep understan...
Abstract — We address the problem of formally verifying non-linear analog circuits with an uncertain...
In this paper a method for testing nonlinear analog circuits by supply current variation and supply ...
Abstract—Formal methods have been advocated for the verification of digital designs where correctnes...
In this dissertation the formal abstraction and verification of analog circuit is examined. An appro...
Abstract—We present ABCD-NL, a technique that approximates non-linear analog circuits using purely B...
Abstract. Formal methods have been advocated for the verification of digital design where correctnes...
Abstract — We have developed a field programmable analog array (FPAA) that can be configured to synt...
This paper proposes a verification flow for mixed-signal circuits. The presented flow is based on 'b...
This dissertation presents a novel verification technique for analog and mixed signal circuits. Anal...
Abstract. The verification of analog designs is a challenging and exhaustive task that requires deep...
An extension to a formal verification approach of hybrid systems is proposed to verify analog and mi...
This paper proposes a semi-formal methodology for modeling and verification of analog circuits behav...