Login
- Title:
Advanced methods for equivalence checking of analog circuits with strong nonlinearities
- Author(s):
- Steinhorst, Sebastian; Hedrich, Lars
- Journal title:
- Formal Methods in System Design (FMSD)
- Year:
- 2010
- Journal volume:
- 36
- Month:
- 6
- Journal issue:
- 2
- Pages contribution:
- 131-147
- Fulltext / DOI:
- doi:10.1007/s10703-009-0086-9
- Publisher:
- Springer US
- Print-ISSN:
- 0925-9856
BibTeX