FMCAD
1998
Springer
14 years 3 months ago
1998
Springer
FMCAD
1998
Springer
14 years 3 months ago
1998
Springer
FMCAD
1998
Springer
14 years 3 months ago
1998
Springer
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...
FMCAD
1998
Springer
14 years 3 months ago
1998
Springer
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...