79 search results - page 11 / 16 » Functional Verification of Large ASICs |
ICPR
2000
IEEE
14 years 7 months ago
2000
IEEE
KPN Research has developed an all-purpose check recognition system for the Dutch Postbank. This Image Recognition and Interpretation System (IRIS) is the result of more than thirt...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
MICRO
1999
IEEE
13 years 11 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
DAC
2006
ACM
14 years 7 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...