Advanced methods for equivalence checking of analog circuits with strong nonlinearities (Q5962119)
From MaRDI portal
scientific article; zbMATH DE number 5786505
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Advanced methods for equivalence checking of analog circuits with strong nonlinearities |
scientific article; zbMATH DE number 5786505 |
Statements
Advanced methods for equivalence checking of analog circuits with strong nonlinearities (English)
0 references
16 September 2010
0 references
equivalence checking
0 references
analog circuits
0 references
formal verification
0 references
