2.6.1 Files and data requirements in Manual ECO

• Standard library (Synopsys Liberty) files with extension ‘.lib’
• Other Verilog libraries
• Implementation Netlist
• ECO locations