Sciweavers

30 search results - page 1 / 6
» dsd 2009
Sort
View
DSD
2009
IEEE
133views Hardware» more  DSD 2009»
13 years 11 months ago
Deductive Fault Simulation for Asynchronous Sequential Circuits
Roland Dobai, Elena Gramatová
DSD
2009
IEEE
118views Hardware» more  DSD 2009»
13 years 11 months ago
The Case for a Balanced Decomposition Process
—We present experiments with synthesis tools using examples which are currently believed to be very hard, namely the LEKU examples by Cong and Minkovich and parity examples of ou...
Jan Schmidt, Petr Fiser
DSD
2009
IEEE
71views Hardware» more  DSD 2009»
13 years 8 months ago
Representation of Incompletely Specified Index Generation Functions Using Minimal Number of Compound Variables
This paper shows a method to reduce the number of input variables to represent incompletely specified index generation functions. A compound variable is generated by EXORing the o...
Tsutomu Sasao, Takaaki Nakamura, Munehiro Matsuura