Sciweavers

11 search results - page 1 / 3
» ddecs 2009
Sort
View
100
Voted
DDECS
2009
IEEE
129views Hardware» more  DDECS 2009»
15 years 7 months ago
Contactless characterization of MEMS devices using optical microscopy
András Timár, György Bogn&aacut...
127
Voted
DDECS
2009
IEEE
107views Hardware» more  DDECS 2009»
15 years 7 months ago
Effective mars rover platform design with Hardware / Software co-design
Gábor Marosy, Zoltán Kovacs, Gyula H...
161
Voted
DDECS
2009
IEEE
202views Hardware» more  DDECS 2009»
15 years 10 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
129
Voted
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
15 years 10 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
127
Voted
DDECS
2009
IEEE
106views Hardware» more  DDECS 2009»
15 years 10 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