Sciweavers

DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 3 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
14 years 3 months ago
Avoiding false negatives in formal verification for protocol-driven blocks
Görschwin Fey, Daniel Große, Rolf Drech...
DATE
2006
IEEE
127views Hardware» more  DATE 2006»
14 years 3 months ago
ASIP design and synthesis for non linear filtering in image processing
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...
Luca Fanucci, Michele Cassiano, Sergio Saponara, D...
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
14 years 3 months ago
The ultra low-power wiseNET system
Amre El-Hoiydi, Claude Arm, R. Caseiro, Stefan Cse...
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
14 years 3 months ago
Automating processor customisation: optimised memory access and resource sharing
We propose a novel methodology to generate Application Specific Instruction Processors (ASIPs) including custom instructions. Our implementation balances performance and area req...
Robert G. Dimond, Oskar Mencer, Wayne Luk
DATE
2006
IEEE
73views Hardware» more  DATE 2006»
14 years 3 months ago
Minimizing test power in SRAM through reduction of pre-charge activity
In this paper we analyze the test power of SRAM memories and demonstrate that the full functional precharge activity is not necessary during test mode because of the predictable a...
Luigi Dilillo, Paul M. Rosinger, Bashir M. Al-Hash...
DATE
2006
IEEE
219views Hardware» more  DATE 2006»
14 years 3 months ago
Low cost LDPC decoder for DVB-S2
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
John Dielissen, Andries Hekstra, Vincent Berg
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
14 years 3 months ago
Pseudorandom functional BIST for linear and nonlinear MEMS
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
Achraf Dhayni, Salvador Mir, Libor Rufer, Ahc&egra...