Login / Signup

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.

Mohamed H. ZakiGhiath Al SammaneSofiène TaharGuy Bois
Published in: FMCAD (2007)
Keyphrases
  • provably correct
  • interval arithmetic
  • probability distribution
  • linear programming
  • dynamical systems
  • constraint propagation