1129 search results - page 39 / 226 » Formal Verification of Websites |
122
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
GLVLSI
1999
IEEE
15 years 4 months ago
1999
IEEE
GLVLSI
1999
IEEE
15 years 4 months ago
1999
IEEE
ASIAN
1999
Springer
15 years 4 months ago
1999
Springer
CAV
1998
Springer
15 years 4 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...