11 search results - page 3 / 3 » Enumeration problems for classes of self-similar graphs |
DAC
1994
ACM
13 years 9 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...