Sciweavers

11 search results - page 1 / 3
» ddecs 2009
Sort
View
DDECS
2009
IEEE
129views Hardware» more  DDECS 2009»
14 years 12 days 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»
14 years 12 days 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»
14 years 3 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»
14 years 3 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»
14 years 3 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