111
click to vote
VLSID
15 years 10 months ago
2004 IEEE 
demanding algorithm of a video encoder. It is known that about 60% ~ 80% of the total computation time is consumed for motion estimation [1]. The second is its high impact on the v...
107
click to vote
VLSID
15 years 10 months ago
2004 IEEE 
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
102
click to vote
VLSID
15 years 10 months ago
2004 IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
VLSID
15 years 10 months ago
2004 IEEE 
This paper presents a very efficient and versatile method to handle Dynamic Voltage Scaling for minimizing energy consumption in an embedded system processor while maintaining rea...
VLSID
15 years 10 months ago
2004 IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
|
VLSI