222 search results - page 14 / 45 » Efficient assertion based verification using TLM |
102
click to vote
CIIA
2009
15 years 28 days ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetric phase-only filter (SPOF) has been widely applied to image registration and recognition, and has been proved efficient for fingerprint verification. Fingerprint images ha...
101
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
ASPDAC
2010
ACM
14 years 10 months ago
2010
ACM
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
DAC
2007
ACM
16 years 25 days ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...