2 search results - page 1 / 1 » Verification of Pipelined Microprocessors by Correspondence ... |
ACSD
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...