2488 search results - page 46 / 498 » An improvement in formal verification |
190
click to vote
DATE
2010
IEEE
15 years 10 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 ...