|
<h3 id='___fix_design'>fix_design</h3> |
|
<pre>ECO command to fix the design in automatic ECO (LLM: automatic eco) |
|
<b>Usage:</b> fix_design(@options); |
|
@options: |
|
-help: Print this information |
|
-opt_set optimization_set: Patch optimization set, 0: area/timing 1: cell count, default 0 |
|
-no_patch_opt: Disable patch optimization. Also see API set_no_patch_opt |
|
-flatten: Enable flatten mode ECO. The default mode is hierarchical |
|
-list_file the_list_file: The ECO point list file converted from RTL-to-RTL LEC result |
|
The list file format: |
|
inst u_def/u_sdef/state_reg_1_ |
|
pin u_control/u_sreg/u_mem_128x24/A[0] |
|
port PORT_READY_OUT |
|
-iteration iteration_number: Fix design iteration by default 3 times. |
|
The tool repeats the fix process until there is no non-equivalent points or iteration number reached |
|
<b>Examples:</b> |
|
|
|
#1. Fix design on module 'VIDEO_TOP' and its sub-modules |
|
set_top('VIDEO_TOP'); |
|
set_ignore_output("TEST_SO*"); |
|
set_pin_constant("TEST_EN", 0); |
|
fix_design; |
|
save_session("this_eco"); |
|
my $error = LEC; |
|
|
|
#2. Do ECO in flatten mode |
|
fix_design("-flatten"); |
|
|
|
#3. Do ECO on points listed in the file |
|
fix_design("-list_file", $list_file); |
|
</pre> |