140
click to vote
FMCAD
15 years 3 months ago
2008 Springer 
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
132
Voted
FMCAD
15 years 3 months ago
2008 Springer 
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
106
Voted
FMCAD
15 years 3 months ago
2008 Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
144
Voted
FMCAD
15 years 3 months ago
2008 Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
96
Voted
FMCAD
15 years 3 months ago
2008 Springer  |
Formal Methods