3 search results - page 1 / 1 » Speeding up model checking by exploiting explicit and hidden... |
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
DAC
2008
ACM
14 years 5 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...