6 search results - page 2 / 2 » Symbolic analysis of large analog circuits with determinant ... |
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...