Advanced methods for equivalence checking of analog circuits with strong nonlinearities

DOI10.1007/S10703-009-0086-9MaRDI QIDQ5962119zbMATH OpenOpenAlexFDO

Authors Sebastian Steinhorst, Lars Hedrich

Publication date 16 September 2010

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-009-0086-9

zbMATH Keywords

analog circuitsequivalence checkingformal verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Non-linear analog circuit fault diagnosis with large change sensitivity
• Equivalence checking of digital circuits in an industrial environment
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 2125609
• Non-linear op-amp circuits: Existence and uniqueness of solution by inspection
• scientific article; zbMATH DE number 1903367
• Algebraic Approach to Ambiguity-Group Determination in Nonlinear Analog Circuits

Cites work

• scientific article; zbMATH DE number 1903367 (Why is no real title available?)
• On simultaneous additive equations II.
• The computation of Kronecker's canonical form of a singular pencil

Cited in

(3)

• Digital to analog converter nonlinear test
• Design-Oriented Analysis of Circuits With Equality Constraints
• Algebraic Approach to Ambiguity-Group Determination in Nonlinear Analog Circuits

This page was built for publication: Advanced methods for equivalence checking of analog circuits with strong nonlinearities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962119)