A Practical Way to Do Netlist ECO & Debug

Automatic Functional ECO, Incremental Mode

Abstract

The use case shows how to automatically fix the selected modules in implementation netlist. Only when RTL changes are known to be isolated inside the specified modules.

Flow Chart

Users provide Implementation netlist which is under ECO, Reference netlist which is re-synthesized after RTL modification and the name of top level module that contains the changes.

Hierarchical View

A hierarchical design as shown in the chart below is known to have only two modules modified, WIFI and ENC, and the changes are isolated in these two modules not propagating through hierarchical ports.

ECO API, 'fix_module' can be run on these two modules

Automatic ECO Script

# GofCall ECO script, auto_eco.pl
use strict;  
undo_eco;  # Discard previous ECO operations
setup_eco("eco_example");  # Setup ECO name
read_library("art.90nm.lib"); # Read in standard library

# Read in the Reference Netlist which is re-synthesized with several modules modified
read_design("-ref", "reference.gv");  
# Read in the implementation Netlist Which is under ECO
read_design("-imp", "implementation.gv");  

# Fix these two modules, ENC and WIFI 
fix_modules('WIFI', 'ENC');

set_top('SOC_TOP');
report_eco();  # ECO report
write_verilog("eco_verilog.v"); # Write out ECO result in Verilog
write_soce("eco_soce.tcl"); # Write out TCL script for SOC Encounter 

exit; # Exit when the ECO is done, comment it out to go to interactive mode when 'GOF >' appears

Run the Script

The above script can be run by '-run' option in GOF command line:

gof -run auto_eco.pl

 Home / Products / Download / Documents / UseCases / ContactUs / Usage / 中文

 Copyright © 2018 NanDigits Design Automation. All rights reserved.