12981 search results - page 326 / 2597 » Model Checking (Abstract) |
118
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
124
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
129
click to vote
VLSID
2007
IEEE
16 years 4 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
106
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
137
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract−Several high performance LDPC codes have paritycheck matrices composed of permutation submatrices. We design a parallel-serial architecture to map the decoder of any str...