299 search results - page 3 / 60 » Formal verification of analog designs using MetiTarski |
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
HASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
CAV
2004
Springer
14 years 23 days ago
2004
Springer
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Analog and mixed-signal CAD looks like a nice success story: there's been significant research in building design automation tools since the late 80's, and commercial to...