Upload 89 files

src_en/api.set_blackbox.txt

@@ -0,0 +1,22 @@
+<h3 id='___set_blackbox'>set_blackbox</h3>
+<pre>Set Blackbox on Modules
+<b>Usage:</b> set_blackbox(@modules, @options);
+@module: Module names to be set as blackbox, accept wild card '*'
+@options:
+   -hier: Set blackbox on the module and its sub-hierarchical modules
+          Only valid on module name without '*'
+
+<b>Note:</b> This command can be used multiple times
+
+<b>Examples:</b>
+
+#1. Set Blackbox on DW modules
+set_blackbox("*DW_pipe*");
+
+#2. Set Blackbox on 'ABC' and 'DEF' modules
+set_blackbox("ABC", "DEF");
+
+#3. Set Blackbox on memory_control and its sub-hierarchical modules. Set Blackbox on one DW as well
+set_blackbox("memory_control", "-hier");
+set_blackbox("DW_adder_123");
+</pre>

src_en/api.set_bound_opti.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_bound_opti'>set_bound_opti</h3>
+<pre>Set boundary optimization checking 
+<b>Usage:</b> set_bound_opti($val);
+$val: 0, disable boundary optimization checking
+      1, enable boundary optimization checking (default)
+</pre>

src_en/api.set_buffer.txt

@@ -0,0 +1,9 @@
+<h3 id='___set_buffer'>set_buffer</h3>
+<pre>Set buffer type. The tool automatically picks one if the command is not called (LLM: buffer name)
+<b>Usage:</b> set_buffer($buffer);
+$buffer: Lib cell name for buffer
+
+<b>Examples:</b>
+
+set_buffer("BUFX2");
+</pre>

src_en/api.set_buffer_distance.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_buffer_distance'>set_buffer_distance</h3>
+<pre>Set distance limit for inserting buffer
+<b>Usage:</b> set_buffer_distance($distance_val);
+$distance_val: distance to insert buffer, in um
+</pre>

src_en/api.set_clock_uncertainty.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_clock_uncertainty'>set_clock_uncertainty</h3>
+<pre>Timing command. Set clock uncertainty
+<b>Usage:</b> set_clock_uncertainty($value);
+$value: Uncertainty value
+</pre>

src_en/api.set_cluster_command.txt

@@ -0,0 +1,11 @@
+<h3 id='___set_cluster_command'>set_cluster_command</h3>
+<pre>Set cluster command in parallel fault verification
+<b>Usage:</b> set_cluster_command($cluster_command);
+$cluster_command: Command to submit jobs to cluster computers
+
+<b>Examples:</b>
+
+#1. Set cluster command 
+set_cluster_command("bsub_lsf -queue");
+
+</pre>

src_en/api.set_cluster_timeout.txt

@@ -0,0 +1,13 @@
+<h3 id='___set_cluster_timeout'>set_cluster_timeout</h3>
+<pre>Set time out for cluster command
+<b>Usage:</b> set_cluster_timeout($time_in_seconds);
+$time_in_seconds: An integer number in seconds
+
+<b>Note:</b> cluster time out number should be large than solver time out
+
+<b>Examples:</b>
+
+#1. Set solver time out to ~12 hours
+set_cluster_timeout(43200);
+
+</pre>

src_en/api.set_constraints.txt

@@ -0,0 +1,37 @@
+<h3 id='___set_constraints'>set_constraints</h3>
+<pre>Set constraints for map_spare_cells command
+<b>Usage:</b> set_constraints(@options);
+@options:;
+   -type type_constraint : Set spare cell type constraint, type_constraint is a string 
+                           listing spare cells separated by ',', get_spare_cells should not be used if -type is present
+   -num num_constraint   : Set spare cell number constraint, num_constraint is a string 
+                           in the format of 'mux<16,nand<18'
+   -type_limit limit_string : Set cell type limit to be less than a number, for example A9TR type less than 10, 'A9TR<10'
+                             All constraints is separated by ',' in the format of 'X8B<9,X0P5A<1'
+<b>Note:</b> The number constraint only controls the number of spare types to be used. The spare gates list should have 
+      'nand/and', 'nor/or' and 'inv' types of leaf cells for synthesis mapping, and have spare flops for direct mapping, 'mux' is optional. 
+      If used with get_spare_cells command, this command should be used after get_spare_cells, check example #3 
+
+<b>Examples:</b>
+
+#1. Use less than 16 'mux' and less than 18 'nand' spare gates in map_spare_cells
+get_spare_cells("u_Spare*/*spr_gate*");
+set_constraints('-num', 'mux<16,nand<18');
+map_spare_cells;
+
+
+#2. Use NAD2X1 NOR2X1 INVX1 and MUX2X1 as spare type gates
+set_constraints('-type', 'NAND2X1,NOR2X1,INVX1,MUX2X1');
+map_spare_cells;
+
+#3. Set constraint after spare list created 
+get_spare_cells("u_Spare*/*spr_gate*");
+set_constraints('-num', 'and<1'); # So that no AND spare gate will be used
+map_spare_cells;
+
+#4. Set type limit after spare list created
+get_spare_cells("u_Spare*/*spr_gate*");
+set_constraints('-type_limit', 'ULVT<5,ELVT<6'); 
+map_spare_cells;
+
+</pre>

src_en/api.set_cutpoint_thresh.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_cutpoint_thresh'>set_cutpoint_thresh</h3>
+<pre>Set Cutpoint Threshold
+<b>Usage:</b> set_cutpoint_thresh($val);
+$val: Threshold value, default 100 
+     </pre>

src_en/api.set_cutpoint_ultra.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_cutpoint_ultra'>set_cutpoint_ultra</h3>
+<pre>Set the level in doing CutPoint Ultra (LLM: cutpoint ultra)
+<b>Usage:</b> set_cutpoint_ultra($val);
+$val: 0, Disable cutpoint ultra
+      1, Enable cutpoint ultra (default)
+</pre>

src_en/api.set_define.txt

@@ -0,0 +1,21 @@
+<h3 id='___set_define'>set_define</h3>
+<pre>Set define (LLM: define variable)
+<b>Usage:</b> set_define($define, $value, @options);
+@options:
+    -imp: The define is for Implementation only
+    -ref: The define is for Reference only
+$define: The define item
+$value: The value, optional
+
+<b>Examples:</b>
+
+#1. Set define SYNTHESIS for both netlists
+set_define("SYNTHESIS");
+
+#2. Set define NO_DFT_LOGIC for Reference only
+set_define("NO_DFT_LOGIC", "-ref");
+
+#3. Set define SIMULATION to 0
+set_define("SIMULATION", 0);
+
+</pre>

src_en/api.set_detect_points.txt

@@ -0,0 +1,19 @@
+<h3 id='___set_detect_points'>set_detect_points</h3>
+<pre>set detect points
+<b>Usage:</b> set_detect_points(@points, @options);
+@points: Detect points 
+@options:
+   -help: Print this info
+
+<b>Note:</b> The command can be run multiple times
+
+<b>Examples:</b>
+
+#1. Set data_error_ml as detect points
+set_detect_points("data_error_ml");
+
+#2. Set data_error_ml and u_cpu/err_det_reg as detect points
+set_detect_points("data_error_ml");
+set_detect_points("u_cpu/err_det_reg");
+
+</pre>

src_en/api.set_disable_cross_hierarchy_merge.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_disable_cross_hierarchy_merge'>set_disable_cross_hierarchy_merge</h3>
+<pre>Set this variable to disable cross hierarchy register merging
+<b>Usage:</b> set_disable_cross_hierarchy_merge($value);
+$value: 0, disable
+        1, enable. Default
+</pre>

src_en/api.set_disable_lib_cache.txt

@@ -0,0 +1,7 @@
+<h3 id='___set_disable_lib_cache'>set_disable_lib_cache</h3>
+<pre>Disable liberty file cache
+<b>Usage:</b> set_disable_lib_cache($value);
+$value: 0, enable liberty file cache (default)
+        1, disable liberty file cache
+   
+</pre>

src_en/api.set_dont_fix_modules.txt

@@ -0,0 +1,10 @@
+<h3 id='___set_dont_fix_modules'>set_dont_fix_modules</h3>
+<pre>Set dont fix property on modules
+<b>Usage:</b> set_dont_fix_modules(@modules);
+@module: Module names not to be fixed
+
+Example:
+
+#1. Set dont fix on pcie_ctrl and pcie_top module
+set_dont_fix_modules("pcie_ctrl", "pcie_top");
+</pre>

src_en/api.set_dont_use.txt

@@ -0,0 +1,20 @@
+<h3 id='___set_dont_use'>set_dont_use</h3>
+<pre>Set dont use property on library cells
+<b>Usage:</b> set_dont_use(@cell_list);
+@cell_list: List of the dont use cells which is not used in automatic ECO. Wild card '*' is supported
+
+<b>Note:</b> If the command is used multiple times, the latest command overrides the previous ones
+
+<b>Examples:</b>
+
+#1. Don't use these two cells
+set_dont_use("INVX30","AND2X24");
+
+#2. Don't use power cell matching PWR_
+set_dont_use("PWR_*");
+
+#2. If run two times, the second one has effect, set dont use on "CINV_*"
+set_dont_use("SINV_*");
+set_dont_use("CINV_*");
+
+</pre>

src_en/api.set_eco_effort.txt

@@ -0,0 +1,10 @@
+<h3 id='___set_eco_effort'>set_eco_effort</h3>
+<pre>ECO setting. Set ECO effort
+<b>Usage:</b> set_eco_effort($effort);
+$effort: One of the three choices, high, medium and low. By default, high effort is used
+
+<b>Examples:</b>
+
+#1. Change ECO effort to medium
+set_eco_effort("medium");
+</pre>

src_en/api.set_eco_point_json.txt

@@ -0,0 +1,8 @@
+<h3 id='___set_eco_point_json'>set_eco_point_json</h3>
+<pre>Set a JSON file name for saving the ECO point data. 
+The JSON file can be applied to another netlist ECO, so that the full LEC has no need to be rerun
+<b>Usage:</b> set_eco_point_json($json_name);
+$json_name: The JSON file name
+
+<b>Note:</b> This command should be run before fix_design
+</pre>

src_en/api.set_equal.txt

@@ -0,0 +1,22 @@
+<h3 id='___set_equal'>set_equal</h3>
+<pre>ECO setting. Set two points to be equivalent in the Reference and Implementation Netlists
+             The points can be input port, flop instance or output pin of black-box.
+             The point names should have 'i:' or 'r:' as prefix to indicate they are for the Reference or Implementation, or
+             the first point is assumed as Reference and the second Implementation.
+             Both of the points can be from Reference or Implementation
+<b>Usage:</b> set_equal($ref_point, $imp_point);
+$ref_point: The point in the Reference Netlist. It should be the first argument if it doesn't have 'i:' or 'r:' as prefix
+$imp_point: The point in the Implementation Netlist. It should be the second argument if it doesn't have 'i:' or 'r:' as prefix
+
+<b>Examples:</b>
+
+#1. Input port 'in_a' in Reference Netlist is equivalent to input port 'in_b' in Implementation Netlist in top module
+set_top('top_module');
+set_equal('r:in_a', 'i:in_b');
+ 
+#2. Flop instance 'subinst/flopa_reg' is equivalent to input port 'IN0' in the Implementation Netlist
+set_top('top_module');
+set_equal('i:subinst/flopa_reg', 'i:IN0');
+fix_design();
+
+</pre>

src_en/api.set_error_out.txt

@@ -0,0 +1,13 @@
+<h3 id='___set_error_out'>set_error_out</h3>
+<pre>Set error out setting
+<b>Usage:</b> set_error_out($value);
+$value: 1, Abort the program when APIs have run error, default setting
+        0, Ignore the error and continue the program
+
+<b>Examples:</b>
+
+# Program continues when there is error in change_pin
+set_error_out(0);
+change_pin("nonexisting_instance/A", "1'b0"); # It will continue, even though nonexisting_instance is not in the database
+
+</pre>

src_en/api.set_exit_on_error.txt

@@ -0,0 +1,7 @@
+<h3 id='___set_exit_on_error'>set_exit_on_error</h3>
+<pre>Whether the tool should exit when the script runs into an error
+<b>Usage:</b> set_exit_on_error($error, $bit);
+$error: Error pattern, wild card support. 'E-001', 'E-*'
+$bit: 1, Exit on the error, default
+      0, Don't exit on the error
+</pre>

src_en/api.set_exit_on_warning.txt

@@ -0,0 +1,7 @@
+<h3 id='___set_exit_on_warning'>set_exit_on_warning</h3>
+<pre>Whether the tool should exit when the script runs into a warning
+<b>Usage:</b> set_exit_on_warning($warning, $bit);
+$warning: Warning pattern, wild card support. 'W-001', 'W-*'
+$bit: 1, Exit on the warning
+      0, Don't exit on the warning, default
+</pre>

src_en/api.set_false_path.txt

@@ -0,0 +1,14 @@
+<h3 id='___set_false_path'>set_false_path</h3>
+<pre>Timing command. Set false path
+<b>Usage:</b> set_false_path(@options);
+@options:
+    -help: Print this information
+    -from: $startpoint, set false path on the starting point
+    -to:   $endpoint, set false path on the ending point
+    -through: $through_point, set false path on the through point
+
+<b>Examples:</b>
+
+#1. Set false path on u_control/u_subsm/state_reg_* as from points
+set_false_path("-from", "u_control/u_subsm/state_reg_*");
+</pre>

src_en/api.set_floating_as_zero.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_floating_as_zero'>set_floating_as_zero</h3>
+<pre>Set floating net as constant zero (LLM: floating zero)
+<b>Usage:</b> set_floating_as_zero($value);
+$value: 0, disable floating net as constant zero
+        1, enable floating net as constant zero (default)
+</pre>

src_en/api.set_flop_default_eco.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_flop_default_eco'>set_flop_default_eco</h3>
+<pre>Set flop default eco by inverting input pin and output pin
+<b>Usage:</b> set_flop_default_eco($value);
+$value: 1 to enable flop default eco by inverting input pin and output pin
+</pre>

src_en/api.set_flop_merge_enable.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_flop_merge_enable'>set_flop_merge_enable</h3>
+<pre>Inside module flop merge enable
+<b>Usage:</b> set_flop_merge_enable($setting,@options);
+$setting: 0, disable inside module flop merge 
+          1, enable inside module flop merge (default)
+</pre>

src_en/api.set_high_effort.txt

@@ -0,0 +1,31 @@
+<h3 id='___set_high_effort'>set_high_effort</h3>
+<pre>Set high ECO effort on modules (LLM: effort high)
+<b>Usage:</b> set_high_effort(@options);
+@options:
+    -help: Print this information
+    -include module_list: Only set high ECO effort on the modules listed,
+                         module_list has format of module names separated by ',', wild card is acceptable
+                         For example, 'mem_control,dma_*'
+    -exclude module_list: Exclude high ECO effort on the modules listed
+                         module_list has format of module names separated by ',', wild card is acceptable
+                         For example, 'mem_control,dma_*'
+    -timeout time_in_seconds: Set time out for each run, default to time out in 900 seconds
+                         time_in_seconds is an integer indicating time out in seconds
+
+<b>Examples:</b>
+
+#1. Set ECO high effort on all modules under ECO
+set_high_effort();
+
+#2. Set ECO high effort on module 'mem_control_1'
+set_high_effort('-include', 'mem_control_1');
+
+#3. Set ECO high effort on modules matching 'mem_control_*' and modules matching 'dma_*'
+set_high_effort('-include', 'mem_control_*,dma_*');
+
+#4. Enable ECO high effort, but excluding module 'mem_control_1  '
+set_high_effort('-exclude', 'mem_control_1');
+
+#5. Enable ECO high effort with time out in 600 seconds
+set_high_effort('-timeout', 600);
+</pre>

src_en/api.set_ignore_instance.txt

@@ -0,0 +1,18 @@
+<h3 id='___set_ignore_instance'>set_ignore_instance</h3>
+<pre>ECO setting. Set ignored sequential or blackbox instances in ECO
+<b>Usage:</b> set_ignore_instnace(@ignored_instances)
+@ignored_instances: Instances to be ignored in ECO, accept wild card '*'
+
+<b>Examples:</b>
+ 
+#1. Ignore instances matching RAND_CNT_reg* in ECO
+set_top('VIDEO_TOP');
+set_ignore_instance('RAND_CNT_reg*');
+set_top('DESIGN_TOP');
+fix_design();
+
+#2. Ignore instances matching current_state_reg* in instance u_video
+set_top('DESIGN_TOP');
+set_ignore_instance('u_video/current_state_reg*');
+fix_design();
+</pre>

src_en/api.set_ignore_network.txt

@@ -0,0 +1,16 @@
+<h3 id='___set_ignore_network'>set_ignore_network</h3>
+<pre>ECO setting. Set ignore network in ECO
+<b>Usage:</b> set_ignore_network(@ignored_nets, @options)
+@ignored_nets: Net and its network to be ignored in ECO, accept wild card '*'
+@options:
+   -help: Print this information
+   -pin:  @ignored_nets are in pin format, for example, 'DONT_mux_clk/PIN_Y'
+
+<b>Examples:</b>
+
+#1. Ignore scan_en and scan_in
+set_ignore_network('scan_en*', 'scan_in*'); 
+
+#2. Ignore PAD PAD_SCAN_EN's output pin 'core' and its network
+set_ignore_network('PAD_SCAN_EN/core', '-pin'); 
+</pre>

src_en/api.set_ignore_output.txt

@@ -0,0 +1,23 @@
+<h3 id='___set_ignore_output'>set_ignore_output</h3>
+<pre>ECO setting. Set ignore output ports
+<b>Usage:</b> set_ignore_output(@ignored_ports, @options)
+@ignored_ports: Output ports to be ignored, accept wild card '*'
+@options:
+   -help: Print this information
+   -both: Apply to both Reference and Implementation Netlist. Enabled by default
+   -ref:  Apply to Reference Netlist
+   -imp:  Apply to Implementation Netlist
+ 
+<b>Examples:</b>
+
+#1. Ignore output ports matching *scan_out* in ECO
+set_top('design_top');
+set_ignore_output('*scan_out*');
+set_pin_constant('scan_en', 0);
+fix_design();
+
+#2. Ignore output ports matching *TSTCON* in Implementation Netlist
+set_top('CHIP_TOP');
+set_ignore_output('*TSTCON*', '-imp');
+
+</pre>

src_en/api.set_ignore_pin.txt

@@ -0,0 +1,10 @@
+<h3 id='___set_ignore_pin'>set_ignore_pin</h3>
+<pre>set ignore on the pin of black box like memory in logic equivalence checking (LLM: ignore black box pin)
+<b>Usage:</b> set_ignore_pin("$cell_name/$pin_name");
+$cell_name: The black box cell name (Not instance name)
+$pin_name: The cell pin name, wildcard is supported, for example "TM*" to match TM[0] TM[1] ...
+
+<b>Examples:</b>
+set_ignore_pin("TSMC_MEM_256X29/TCEN");
+set_ignore_pin("TSMC_MEM_256X29/TA*");
+</pre>

src_en/api.set_inc_dirs.txt

@@ -0,0 +1,20 @@
+<h3 id='___set_inc_dirs'>set_inc_dirs</h3>
+<pre>Set include directories
+<b>Usage:</b> set_inc_dirs(@include_directory_list, @options);
+@options:
+    -imp: The include directories are for Implementation only
+    -ref: The include directories are for Reference only
+@include_directory_list: List of all include directories
+
+<b>Examples:</b>
+
+#1. Set include directories for Reference only
+set_inc_dirs("/project/nd900/vlib/include", "/project/nd900/IPS/include", "-ref");
+
+#2. Set include directories for Implementation only
+set_inc_dirs("/project/nd900/vlib/include", "/project/nd900/IPS/include", "-imp");
+
+#3. Set include directories for both
+set_inc_dirs("/project/nd900/vlib/include", "/project/nd900/IPS/include");
+
+</pre>

src_en/api.set_initial_trans.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_initial_trans'>set_initial_trans</h3>
+<pre>Timing command. Set initial transition for clock
+<b>Usage:</b> set_initial_trans($value);
+$value: Transition value
+
+</pre>

src_en/api.set_input_delay.txt

@@ -0,0 +1,14 @@
+<h3 id='___set_input_delay'>set_input_delay</h3>
+<pre>Timing command. Set input delay
+<b>Usage:</b> set_input_delay($port_name, $delay_value, @options);
+@options:
+    -clock clock_name: Specifies the clock that relates to the delay
+$port_name: Input port name, accept wild card '*'
+$delay_value: Delay value in ns
+
+<b>Examples:</b>
+
+#1. Set input port to all APB bus input
+set_input_delay("port_apb_*"", 0.1);
+
+</pre>

src_en/api.set_input_transition.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_input_transition'>set_input_transition</h3>
+<pre>Timing command. Set input transition to all input ports
+<b>Usage:</b> set_input_transition($value);
+$value: Transition value
+</pre>

src_en/api.set_inside_mod.txt

@@ -0,0 +1,7 @@
+<h3 id='___set_inside_mod'>set_inside_mod</h3>
+<pre>Set fix scope inside the current module
+If set to 1, the tool only use resource inside the current module to fix the non-eq points.
+By default, it is disabled.
+<b>Usage:</b> set_inside_mod($val);
+$val: 0, disable 1, enable
+</pre>

src_en/api.set_inst.txt

@@ -0,0 +1,8 @@
+<h3 id='___set_inst'>set_inst</h3>
+<pre>Set the current instance, alias of 'current_instance'
+<b>Usage:</b> set_inst($instance);
+$instance: Set $instance as the current instance.
+         If the argument is missing, return the current setting
+         ".." set to parent, "~" set to the most top level module 
+<b>Note:</b> It can be reset to the root top module by 'undo_eco'. It has same effect of 'set_top' and 'current_design'
+</pre>

src_en/api.set_inv.txt

@@ -0,0 +1,16 @@
+<h3 id='___set_inv'>set_inv</h3>
+<pre>ECO setting. Set two points to be inverted in the Reference and Implementation Netlists
+             The points can be input port, flop instance or black-box's output pin.
+             The point names should have 'i:' or 'r:' as prefix to indicate they are for Reference or Implementation, or
+             the first point is assumed as Reference and the second Implementation.
+             Both of the points can be from Reference or Implementation by using 'i:' or 'r:' on both point names.
+<b>Usage:</b> set_inv($ref_point, $imp_point);
+$ref_point: The point in the Reference Netlist. It should be the first argument if it doesn't have 'i:' or 'r:' as prefix
+$imp_point: The point in the Implementation Netlist. It should be the second argument if it doesn't have 'i:' or 'r:' as prefix
+
+<b>Examples:</b>
+
+#1. Input port 'in_a' in the Reference Netlist is inverted to input port 'in_a_BAR' in the Implementation Netlist in top module
+set_top('top_module');
+set_inv('r:in_a', 'i:in_a_BAR');
+</pre>

src_en/api.set_invert.txt

@@ -0,0 +1,9 @@
+<h3 id='___set_invert'>set_invert</h3>
+<pre>Set invert type. The tool automatically picks one if the command is not called (LLM: invert name)
+<b>Usage:</b> set_invert($invert);
+$invert: Lib cell name for invert
+
+<b>Examples:</b>
+
+set_invert("INVX2");
+</pre>

src_en/api.set_keep_format.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_keep_format'>set_keep_format</h3>
+<pre>Keep the format of the original verilog when ECO is done (Keep original netlist format)
+<b>Usage:</b> set_keep_format($value);
+$value: 0, disable format keeping (default)
+        1, enable format keeping.
+</pre>

src_en/api.set_keep_tree.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_keep_tree'>set_keep_tree</h3>
+<pre>Set keeping buffer tree, so that buffer tree won't be removed in ECO
+By default , it is disabled.
+<b>Usage:</b> set_keep_tree($val);
+$val: 0, disable 1, enable
+</pre>

src_en/api.set_keypoints_rep_in_ref.txt

@@ -0,0 +1,18 @@
+<h3 id='___set_keypoints_rep_in_ref'>set_keypoints_rep_in_ref</h3>
+<pre>ECO setting. Replace keypoints naming in Reference Netlist.
+Keypoints naming matching the first argument, and replace the matched string by the second argument
+<b>Usage:</b> set_keypoints_rep_in_ref($match_string, $rep_string);
+$match_string: Keypoints naming matching this string
+$rep_string: To replace the matched string by this string
+
+<b>Note:</b> The command only apply to Reference Netlist
+
+<b>Examples:</b>
+
+#1. Replace the last '_' in Keypoints naming in Reference Netlist
+set_keypoints_rep_in_ref('_$', '');
+
+#2. Replace the last '0' in Keypoints naming in Reference Netlist
+set_keypoints_rep_in_ref('0$', '');
+
+</pre>

src_en/api.set_leaf.txt

@@ -0,0 +1,14 @@
+<h3 id='___set_leaf'>set_leaf</h3>
+<pre>Set a hierarchical module to be leaf. Useful to stub hierarchical instances
+<b>Usage:</b> set_leaf($module_name, $value);
+$module_name: The module to be set leaf or not set to leaf
+$value: 1 or larger than 1, set the module as leaf. 0 not set to leaf. 
+        If $value is not present, the default value is 1.
+
+<b>Examples:</b>
+
+set_leaf($module_a); # set $module_a as a leaf
+set_leaf($module_a, 1); # same as the above
+set_leaf($module_a, 0); # remove the leaf setting
+
+</pre>

src_en/api.set_log_file.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_log_file'>set_log_file</h3>
+<pre>Set log file name
+<b>Usage:</b> set_log_file($filename);
+$filename: Log file name
+</pre>

src_en/api.set_low_effort.txt

@@ -0,0 +1,11 @@
+<h3 id='___set_low_effort'>set_low_effort</h3>
+<pre>Set low ECO effort to speed up ECO process (LLM: speed up)
+<b>Usage:</b> set_low_effort(@options);
+@options:
+    -help: Print this information
+
+<b>Examples:</b>
+
+#1. Set ECO low effort on all modules under ECO
+set_low_effort();
+</pre>

src_en/api.set_mapped_point.txt

@@ -0,0 +1,14 @@
+<h3 id='___set_mapped_point'>set_mapped_point</h3>
+<pre>ECO setting. Set two points mapped in Reference and Implementation Netlists
+<b>Usage:</b> set_mapped_point($ref_point, $imp_point, @options);
+$ref_point: Register instance or output port in Reference Netlist
+$imp_point: Register instance or output port in Implementation Netlist
+@options:
+    -invert: The two points are expected to be inverted
+
+<b>Examples:</b>
+
+#1. Two outputs are mapped key points
+set_mapped_point("ref_sync", "imp_sync");
+
+</pre>

src_en/api.set_mapping_method.txt

@@ -0,0 +1,4 @@
+<h3 id='___set_mapping_method'>set_mapping_method</h3>
+<pre>LEC setting. Detecting flop phase inversion.
+<b>Usage:</b> set_mapping_method("-phase");
+</pre>

src_en/api.set_max_lines.txt

@@ -0,0 +1,5 @@
+<h3 id='___set_max_lines'>set_max_lines</h3>
+<pre>Set max output lines
+<b>Usage:</b> set_max_lines($num);
+$num: New max lines number. Default to be 500
+</pre>

src_en/api.set_max_loop.txt

@@ -0,0 +1,6 @@
+<h3 id='___set_max_loop'>set_max_loop</h3>
+<pre>Setup max loop, the tool stops logic optimization when max loop number is reached
+<b>Usage:</b> set_max_loop($value);
+
+$value: Setup BDD threshold, default 40000
+</pre>

src_en/api.set_mod2mod.txt

@@ -0,0 +1,9 @@
+<h3 id='___set_mod2mod'>set_mod2mod</h3>
+<pre>Set reference module mapping to implementation module
+<b>Usage:</b> set_mod2mod($refmod, $impmod);
+$refmod: The reference module name
+$impmod: The implementation module name
+<b>Note:</b> 
+  The command is used when reference netlist is partial
+
+</pre>