1860 search results - page 306 / 372 » A Temporal Logic of Robustness |
131
click to vote
FMCAD
1998
Springer
15 years 5 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...
134
click to vote
TABLEAUX
1998
Springer
15 years 5 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
115
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...
101
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
108
click to vote
RTSS
1993
IEEE
15 years 5 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...