Computer-supported, automated method for the verification of analog circuits
View Patent ↗The invention relates to a computer-supported, automated method for the verification of analog circuits, and to a storage medium on which a computer software program is stored for performing such method, including transforming of constants or variables characterizing a first equation system for describing the properties of a circuit; transforming of constants or variables characterizing a second equation system for describing the properties of a circuit; and performing a circuit equivalence test by using the transformed quantities obtained from transforming.
1. A computer-supported, automated method for the verification of analog circuits, the method comprising:
transforming constants or variables of a first equation system to a linear state space, wherein the first equation system describes a circuit at a first level of abstraction;
transforming constants or variables of a second equation system to a linear state space, wherein the second equation system describes the circuit at a second level of abstraction; and
performing an equation system equivalence test by using transformed quantities obtained from the transforming.
2. The method according to claim 1 , wherein said first equation system for describing the properties of the circuit is based on a charge-/flow-oriented form of the circuit description.
3. The method according to claim 1 , wherein said second equation system for describing the properties of the circuit is based on a charge-/flow-oriented form of the circuit description.
4. The method according to claim 1 , wherein said first equation system is of index >0.
5. The method according to claim 1 , wherein said second equation system is of index >0.
6. The method according to claim 1 , wherein said first and second equation systems are of different dimensions.
7. The method according to claim 1 , wherein said constants or variables are transformed to a canonical state space.
8. The method according to claim 1 , wherein, for performing the equation system equivalence test, it is examined whether an identical or a merely slightly deviating dynamic behavior, in particular a canonical state space, is given for both circuit descriptions.
9. The method according to claim 1 , wherein, for performing the equation system equivalence test, it is examined whether an identical or a merely slightly deviating input-output behavior, in particular an original space, is given for both circuit descriptions.
10. A storage medium on which a computer software program is stored, the computer executing the following:
transforming constants or variables of a first equation system to a linear state space, wherein the first equation system describes a circuit at a first level of abstraction;
transforming constants or variables of a second equation system to a linear state space, wherein the second equation system describes the circuit at a second level of abstraction; and
performing an equation system equivalence test by using transformed quantities obtained from the transforming.
11. The storage medium according to claim 10 , wherein:
the first level of abstraction comprises a functional description of the circuit; and
the second level of abstraction comprises a circuit element level description of the circuit.
12. The method according to claim 11 , wherein:
the first level of abstraction comprises a functional description of the circuit; and
the second level of abstraction comprises a circuit element level description of the circuit.
13. A software program for verifying a circuit, the software program executing steps comprising:
transforming constants or variables of a first equation system to a linear state space, wherein the first equation system describes a circuit at a first level of abstraction;
transforming constants or variables of a second equation system to a linear state space, wherein the second equation system describes the circuit at a second level of abstraction; and
performing an equation system equivalence test by using transformed quantities obtained from the transforming.
14. The software program according to claim 13 , wherein:
the first level of abstraction comprises a functional description of the circuit; and
the second level of abstraction comprises a circuit element level description of the circuit.
15. The software program according to claim 13 , wherein said first equation system for describing the properties of the circuit is based on a charge-/flow-oriented form of the circuit description.
16. The software program according to claim 13 , wherein said constants or variables are transformed to a canonical state space.
17. The software program according to claim 13 , wherein, for performing the equation system equivalence test, it is examined whether an identical or a merely slightly deviating dynamic behavior, in particular a canonical state space, is given for both circuit descriptions.
18. The software program according to claim 13 , wherein, for performing the equation system equivalence test, it is examined whether an identical or a merely slightly deviating input-output behavior, in particular an original space, is given for both circuit descriptions.