Sciweavers

11 search results - page 1 / 3
» ddecs 2009
Sort
View
DDECS
2009
IEEE
129views Hardware» more  DDECS 2009»
13 years 8 months ago
Contactless characterization of MEMS devices using optical microscopy
András Timár, György Bogn&aacut...
DDECS
2009
IEEE
107views Hardware» more  DDECS 2009»
13 years 8 months ago
Effective mars rover platform design with Hardware / Software co-design
Gábor Marosy, Zoltán Kovacs, Gyula H...
DDECS
2009
IEEE
202views Hardware» more  DDECS 2009»
13 years 11 months ago
Asynchronous two-level logic of reduced cost
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
Igor Lemberski, Petr Fiser
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
13 years 11 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
DDECS
2009
IEEE
106views Hardware» more  DDECS 2009»
13 years 11 months ago
Forward and backward guarding in early output logic
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...
Charlie Brej, Doug Edwards