Sciweavers

4037 search results - page 524 / 808
» Routing without ordering
Sort
View
DATE
2007
IEEE
124views Hardware» more  DATE 2007»
15 years 11 months ago
Worst-case design and margin for embedded SRAM
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...
Robert C. Aitken, Sachin Idgunji
153
Voted
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
15 years 11 months ago
Mapping the physical layer of radio standards to multiprocessor architectures
We are concerned with the software implementation of baseband processing for the physical layer of radio standards (“Software Defined Radio - SDR”). Given the constraints for ...
Cyprian Grassmann, Mathias Richter, Mirko Sauerman...
124
Voted
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 11 months ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...
124
Voted
HASE
2007
IEEE
15 years 11 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
ICASSP
2007
IEEE
15 years 11 months ago
Hash-Based Motion Modeling in Wyner-Ziv Video Coding
Generally, Distributed video coding (DVC) schemes perform motion estimation at the decoder side, without the current frame being available. In order to generate the side-informati...
Marco Tagliasacchi, Stefano Tubaro