Sciweavers

131 search results - page 6 / 27
» dac 2004
Sort
View
DAC
2004
ACM
14 years 7 months ago
On path-based learning and its applications in delay test and diagnosis
Li-C. Wang, T. M. Mak, Kwang-Ting Cheng, Magdy S. ...
DAC
2004
ACM
14 years 7 months ago
Debugging HW/SW interface for MPSoC: video encoder system design case study
Mohamed-Wassim Youssef, Sungjoo Yoo, Arif Sasongko...
DAC
2004
ACM
14 years 7 months ago
A recursive paradigm to solve Boolean relations
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The exp...
David Bañeres, Jordi Cortadella, Michael Ki...
DAC
2004
ACM
14 years 7 months ago
A general decomposition strategy for verifying register renaming
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
Hazem I. Shehata, Mark Aagaard