ECO Benchmark Suite

The ECO Benchmark Suite contains 11 Engineering Change Order (ECO) problems -- each constructed to represent a real industrial design update. The suite is devoid of any technology-specific information, thereby simplifying its use and facilitating its portability. The benchmarks come as Verilog files that list equations for their NAND2/INV netlist representation. All of the ECOs in the suite are combinational, and the provided netlists are thus also combinational.