Sciweavers

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