Sciweavers

DSD
2009
IEEE

The Case for a Balanced Decomposition Process

14 years 6 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 our construction. In both cases, we found a way to produce reasonable results with existing tools. We identify the abilities that are crucial for achieving such results, and also generalize them to avoid similar cases of poor performance in future tools.
Jan Schmidt, Petr Fiser
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DSD
Authors Jan Schmidt, Petr Fiser
Comments (0)