6 search results - page 2 / 2 » Exact and Efficient Verification of Parameterized Cache Cohe... |
178
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...