Sciweavers

32117 search results - page 436 / 6424
» Design for Unanticipated Use..
Sort
View
DAC
2003
ACM
16 years 7 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv
ICCD
2008
IEEE
160views Hardware» more  ICCD 2008»
16 years 1 months ago
An improved micro-architecture for function approximation using piecewise quadratic interpolation
We present a new micro-architecture for evaluating functions based on piecewise quadratic interpolation. The micro-architecture consists mainly of a look-up table and two multiply...
Shai Erez, Guy Even
159
Voted
DATE
2007
IEEE
138views Hardware» more  DATE 2007»
16 years 1 months ago
Low-overhead circuit synthesis for temperature adaptation using dynamic voltage scheduling
—Increasing power density causes die overheating due to limited cooling capacity of the package. Conventional thermal management techniques e.g. logic shutdown, clock gating, fre...
Swaroop Ghosh, Swarup Bhunia, Kaushik Roy
SMC
2007
IEEE
130views Control Systems» more  SMC 2007»
16 years 1 months ago
Simulation framework for training chest tube insertion using virtual reality and force feedback
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
Nader S. Raja, John A. Schleser, William P. Norman...
163
Voted
ESM
1998
15 years 8 months ago
Hardware Modelling and Simulation Using an Object-Oriented Method
In order to reduce the cost, the time-to-market and to make the most pertinent choices, it becomes essential to allow designers to evaluate, very soon in the design phase, a given...
Frédéric Mallet, Fernand Boér...