Projects

ICCAD Contest 2024 Problem A

Project date:

An automated logic-netlist optimization flow built around ABC and a black-box cost estimator.