gofeco/support

1<h3 id='___read_sub_module_svf'>read_sub_module_svf</h3>2<pre>Read in new synthesized design SVF file3<b>Usage:</b> read_sub_module_svf($sub_module_svf, @options);4$sub_module_svf: Sub-module SVF file name5@options:6    -module module_name: The sub-module name in the original top netlist that will be replaced7    -syn_module syn_module_name: The sub-module name in the new synthesized netlist8    -suffix suffix_string: Add suffix to all modules under the module_name defined by 'module' option, s9Notes: The command can be run several times10 11<b>Examples:</b>12 13#1. Reads in mem_controller module and its sub-modules, ahb_arb module and its sub-modules SVF files14read_sub_module_svf("new_mem_controller.svf", "-module", "mem_controller_1", "-syn_module", "mem_controller");15read_sub_module_svf("new_ahb_arb.svf", "-module", "ahb_arb");16 17</pre>