Skip to content

#610 CIF data-based synthesis BDD operation cache size/ratio improvements and fixes

  • Upgrade from JavaBDD 5.0.0 to 6.0.0, to fix the inverted BDD operation cache ratio bug, also improving the precision of the option.
  • Improved and extended the CIF data-based synthesis performance documentation.
  • Improved the documentation of the BDD operation cache size/ratio options.

Closes #610 (closed)

Merge request reports