2.2.1 Files and data requirements in automatic functional ECO

• Liberty files with extension '.lib'
• Other Verilog libraries files for modules not covered in '.lib' files
• Implementation SVF and Reference SVF file, required for designs with multibit flops
• Implementation Netlist on which ECO will be done
• Reference Netlist synthesized with the same constraints as the pre-layout netlist
• The top level module name under ECO