DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
Advancing technology drives design technology and thus design automation EDA . How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE
DATE
2002
IEEE
14 years 4 months ago
2002
IEEE