Sciweavers

4 search results - page 1 / 1
» fmcad 1998
Sort
View
FMCAD
1998
Springer
14 years 3 months ago
An Assume-Guarantee Rule for Checking Simulation
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
FMCAD
1998
Springer
14 years 3 months ago
A Performance Study of BDD-Based Model Checking
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron...
FMCAD
1998
Springer
14 years 3 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...
FMCAD
1998
Springer
14 years 3 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore