Sciweavers

1075 search results - page 183 / 215
» simulation 2002
Sort
View
TCAD
2002
146views more  TCAD 2002»
13 years 8 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TCAD
2002
121views more  TCAD 2002»
13 years 8 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
TCSV
2002
55views more  TCSV 2002»
13 years 8 months ago
Wireless video transport using conditional retransmission and low-delay interleaving
Abstract--We consider the scenario of using Automatic Repeat reQuest (ARQ) retransmission for two-way low-bit-rate video communications over wireless Rayleigh fading channels. Low-...
Supavadee Aramvith, Chia-Wen Lin, Sumit Roy, Ming-...
TCSV
2002
94views more  TCSV 2002»
13 years 8 months ago
Supporting image and video applications in a multihop radio environment using path diversity and multiple description coding
This paper examines the effectiveness of combining multiple description coding (MDC) and multiple path transport (MPT) for video and image transmission in a multihop mobile radio n...
Nitin Gogate, Doo-Man Chung, Shivendra S. Panwar, ...
TCSV
2002
89views more  TCSV 2002»
13 years 8 months ago
Reducing energy dissipation of frame memory by adaptive bit-width compression
Abstract--In this paper, we propose a new architectural technique to reduce energy dissipation of frame memory through adaptive bitwith compression. Unlike related approaches, the ...
Vasily G. Moshnyaga