7167 search results - page 109 / 1434 » A Technique for Invariant Generation |
202
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
1In this paper, we will present an effective layout method for analog circuits. We consider symmetry constraint, common centroid constraint, device merging and device clustering du...
207
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
143
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
165
click to vote
WSC
2007
15 years 8 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
164
click to vote
FTCS
1998
15 years 7 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...