624 search results - page 62 / 125 » Test set compaction algorithms for combinational circuits |
149
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...
118
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...
150
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...
138
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Many popular algorithms for fast packet forwarding and filtering rely on the tree data structure. Examples are the trie-based IP lookup and packet classification algorithms. W...
145
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...