153
Voted
VLSID
16 years 2 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 (...
153
Voted
VLSID
16 years 2 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...
142
Voted
VLSID
16 years 2 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...
132
Voted
VLSID
16 years 2 months ago
2004 IEEE
We present a new design of an Embedded Speech Recognition System. It combines the aspects of both hardware and software design to implement a speaker dependent, isolated word, sma...
130
Voted
VLSID
16 years 2 months ago
2004 IEEE 
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...
|
VLSI