DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we show the necessity of reconfigurable hardware for data and signal processing in wireless mobile terminals. We first identify the key processing power requirement...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
A hardware method for functional unit assignment is presented, based on the principle that a functional unit’s power consumption is approximated by the switching activity of its...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We present two novel strategies to increase the scope for application of speculative code motions: (1) Adding scheduling steps dynamically during scheduling to conditional branche...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
There are already a huge number of problems for silicon designers and it is likely to just get worse. Many of these problems are technical associated with shrinking geometries and...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Behavioral models of digital devices based on Radial Basis Functions (RBF) are incorporated into a Finite-Difference Time-Domain (FDTD) solver for full-wave analysis of interconne...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
A new numerical technique for periodic small signal analysis based on harmonic balance method is proposed. Special-purpose numerical procedures based on Krylov subspace methods ar...