read_file: info: using default project `spyglass-1.prj'
read_file -type hdl ../rtl/sync_fifo_64_to_128.v
read_file -type hdl ../rtl/sync_fifo.v
read_file -type hdl ../rtl/wchannel.v
read_file -type hdl ../tb/tb_wchannel.v
filelist.ftb_wchannelcurrent_goal: info: loading goal `Design_Read' with top `tb_wchannel' (in progress)
current_goal: info: finished loading goal `Design_Read' (ok)

INFO:    SpyGlass will run goal(s) 'Design_Read'.


RULE-CHECKING IN MIXED MODE
Loading spyglass (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/spyglass)

INFO [6]    Work Directory `./spyglass-1/tb_wchannel/WORK' does not exist.

INFO [75]    Creating the Work Directory `./spyglass-1/tb_wchannel/WORK/64' for 64bit  precompiled dump.
Checking Rule ZeroSizeFile (Rule 1 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck01 (Rule 2 of total 103) .... done (Time = 0.00s, Memory = 23.6K)
Checking Rule PrecompileLibCheck02 (Rule 3 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck03 (Rule 4 of total 103) .... done (Time = 0.00s, Memory = -2.4K)
Checking Rule PrecompileLibCheck04 (Rule 5 of total 103) .... done (Time = 0.00s, Memory = -24.0K)
Checking Rule SGDC_assume_path01 (Rule 6 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_sdcschema02 (Rule 7 of total 103) .... done (Time = 0.00s, Memory = 0.1K)
Checking Rule SGDC_clock05 (Rule 8 of total 103) .... done (Time = 0.00s, Memory = 63.0K)
Checking Rule SGDC_clock09 (Rule 9 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_force_ta05 (Rule 10 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_require_path03 (Rule 11 of total 103) .... done (Time = 0.00s, Memory = -0.1K)
Checking Rule SGDC_require_value03 (Rule 12 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_voltagedomain05 (Rule 13 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_voltagedomain06 (Rule 14 of total 103) .... done (Time = 0.00s, Memory = 7.4K)
Checking Rule SGDC_voltagedomain07 (Rule 15 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_powerdomainoutputs02 (Rule 16 of total 103) .... done (Time = 0.00s, Memory = 12.0K)
Checking Rule SGDC_supply01 (Rule 17 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive01 (Rule 18 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive02 (Rule 19 of total 103) .... done (Time = 0.00s, Memory = -7.1K)
Checking Rule SGDC_waive03 (Rule 20 of total 103) .... done (Time = 0.00s, Memory = 7.3K)
Checking Rule SGDC_waive04 (Rule 21 of total 103) .... done (Time = 0.00s, Memory = -8.0K)
Checking Rule SGDC_waive05 (Rule 22 of total 103) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule SGDC_waive06 (Rule 23 of total 103) .... done (Time = 0.00s, Memory = 3.5K)
Checking Rule SGDC_waive07 (Rule 24 of total 103) .... done (Time = 0.00s, Memory = -0.8K)
Checking Rule SGDC_waive08 (Rule 25 of total 103) .... done (Time = 0.00s, Memory = 0.1K)
Checking Rule SGDC_waive09 (Rule 26 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive10 (Rule 27 of total 103) .... done (Time = 0.00s, Memory = 1.3K)
Checking Rule SGDC_waive11 (Rule 28 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive12 (Rule 29 of total 103) .... done (Time = 0.00s, Memory = -1.2K)
Checking Rule SGDC_waive13 (Rule 30 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive21 (Rule 31 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive22 (Rule 32 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive30 (Rule 33 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive32 (Rule 34 of total 103) .... done (Time = 0.00s, Memory = 0.2K)
Checking Rule SGDC_waive33 (Rule 35 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive36 (Rule 36 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive38 (Rule 37 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_fifo01 (Rule 38 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup01 (Rule 39 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup02 (Rule 40 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup04 (Rule 41 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_power_data01 (Rule 42 of total 103) .... done (Time = 0.00s, Memory = 32.5K)
Checking Rule SGDC_ungroup01 (Rule 43 of total 103) .... done (Time = 0.00s, Memory = 0.8K)
Checking Rule SGDC_abstract_port06 (Rule 44 of total 103) .... done (Time = 0.00s, Memory = 141.9K)
Checking Rule SGDC_abstract_port14 (Rule 45 of total 103) .... done (Time = 0.00s, Memory = -8.0K)
Checking Rule SGDC_abstract_port15 (Rule 46 of total 103) .... done (Time = 0.00s, Memory = 32.0K)
Checking Rule SGDC_abstract_port18 (Rule 47 of total 103) .... done (Time = 0.00s, Memory = -4.1K)
Checking Rule sdc_init_rule (Rule 48 of total 103) .... done (Time = 0.00s, Memory = 81.4K)
Checking Rule CMD_ignorelibs01 (Rule 49 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportRuleNotRun (Rule 50 of total 103) .... done (Time = 0.00s, Memory = -8.0K)
Checking Rule ReportStopSummary (Rule 51 of total 103) .... done (Time = 0.00s, Memory = 9.6K)
Checking Rule ReportIgnoreSummary (Rule 52 of total 103) .... done (Time = 0.00s, Memory = 8.0K)
 Analyzing source file "../rtl/sync_fifo_64_to_128.v" ....
 Analyzing source file "../rtl/sync_fifo.v" ....
 Analyzing source file "../rtl/wchannel.v" ....
 Analyzing source file "../tb/tb_wchannel.v" ....
 Elaborating Top Verilog Design Unit 'tb_wchannel' ..... done
Checking Rule ElabSummary (Rule 53 of total 103) .... done (Time = 0.00s, Memory = 0.5K)
Checking Rule ReportCheckDataSummary (Rule 54 of total 103) .... done (Time = 0.00s, Memory = 24.0K)
 Reading waiver file "./spyglass-1/tb_wchannel/Design_Read/spyglass_spysch/constraint/spg_autogenerated_waivers.sgdc" ...
 Generating SGDC file "./spyglass-1/tb_wchannel/Design_Read/spyglass_spysch/constraint/pragma2Constraint.sgdc" from pragmas in HDL source files ....
 Generating WAIVER file "./spyglass-1/tb_wchannel/Design_Read/spyglass_spysch/waiver/pragma2Waiver.swl" from pragmas in HDL source files ....
Checking Rule SGDC_waive37 (Rule 55 of total 103) .... done (Time = 0.00s, Memory = 0.6K)
Checking Rule SGDC_waive35 (Rule 56 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule DetectTopDesignUnits (Rule 57 of total 103)
 Detected 1 top level design units:
     tb_wchannel
 .... done (Time = 0.00s, Memory = 4.0K)
Performing semantic checks on SGDC contents
Checking Rule SGDC_testmode03 (Rule 58 of total 103) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule ReportObsoletePragmas (Rule 59 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule GenerateConfMap (Rule 60 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HdlLibDuCheck (Rule 61 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RtlDesignInfo (Rule 62 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule CheckCelldefine (Rule 63 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive23 (Rule 64 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive26 (Rule 65 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive27 (Rule 66 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive29 (Rule 67 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule AnalyzeBBox (Rule 68 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportCheckDataSummary (Rule 54 of total 103) .... done (Time = 0.00s, Memory = 24.0K)
Checking Rule SGDC_waive24 (Rule 69 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive25 (Rule 70 of total 103) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive31 (Rule 71 of total 103) .... done (Time = 0.00s, Memory = 3.1K)

Generating data for Console...

SpyGlass Rule Checking Complete.

Generating moresimple report from './spyglass-1/tb_wchannel/Design_Read/spyglass.vdb' to './spyglass-1/tb_wchannel/Design_Read/spyglass_reports/moresimple.rpt' ....

Generating runsummary report from './spyglass-1/tb_wchannel/Design_Read/spyglass.vdb' ....

Generating no_msg_reporting_rules report from './spyglass-1/tb_wchannel/Design_Read/spyglass.vdb' to './spyglass-1/tb_wchannel/Design_Read/spyglass_reports/no_msg_reporting_rules.rpt' ....

Policy specific data (reports) are present in the directory './spyglass-1/tb_wchannel/Design_Read/spyglass_reports'.

SpyGlass critical reports for the current run are present in directory './spyglass-1/consolidated_reports/tb_wchannel_Design_Read/'.

---------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------
   Goal Run           :      Design_Read
   Command-line read  :      0 error,      0 warning,      0 information message 
** Design Read        :      6 errors,     0 warning,      2 information messages
      Found 1 top module:
         tb_wchannel   (file: ../tb/tb_wchannel.v)

   Blackbox Resolution:      0 error,      0 warning,      0 information message 
   SGDC Checks        :      0 error,      0 warning,      0 information message 
   -------------------------------------------------------------------------------------
   Total              :      6 errors,     0 warning,      2 information messages

  Total Number of Generated Messages     :         8 (6 errors, 0 warning, 2 Infos)
  Number of Reported Messages            :         8 (6 errors, 0 warning, 2 Infos)

  NOTE: It is recommended to first fix/reconcile fatals/errors reported on
        lines starting with ** as subsequent issues might be related to it.
        Please re-run SpyGlass once ** prefixed lines are fatal/error clean.

---------------------------------------------------------------------------------------------


run_goal: info: updating spyglass.log with goal summary
---------------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------------
   Goal Run           :      Design_Read
   Top Module         :      tb_wchannel
---------------------------------------------------------------------------------------------------
   Reports Directory: 
   /home/ICer/ic_prjs/mc/sim/spyglass-1/consolidated_reports/tb_wchannel_Design_Read/ 

   SpyGlass LogFile: 
    /home/ICer/ic_prjs/mc/sim/spyglass-1/tb_wchannel/Design_Read/spyglass.log 

   Standard Reports: 
     moresimple.rpt          no_msg_reporting_rules.rpt       

   HTML report:
    /home/ICer/ic_prjs/mc/sim/spyglass-1/html_reports/goals_summary.html
  

   Technology Reports:  
     <Not Available>
   
   
---------------------------------------------------------------------------------------------------
   Goal Violation Summary:
       Waived   Messages:                      0 Errors,      0 Warnings,      0 Infos
       Reported Messages:         0 Fatals,    6 Errors,      0 Warnings,      2 Infos
---------------------------------------------------------------------------------------------------
   
---------------------------------------------------------------------------------------------------
 
run_goal: info: spyglass.log successfully updated with goal summary
run_goal: info: setting design top `tb_wchannel' as current_design
0 {Rule-checking completed with errors}current_goal: info: loading goal `lint/lint_rtl' with top `tb_wchannel' (in progress)
current_goal: info: finished loading goal `lint/lint_rtl' (ok)

INFO:    SpyGlass will run goal(s) 'lint/lint_rtl'.


RULE-CHECKING IN MIXED MODE
Loading spyglass (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/spyglass)
Loading openmore (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/openmore)
Loading starc (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc)
Loading starc2005 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc2005)
Loading erc (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/erc)
Loading simulation (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/simulation)
Loading lint (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/lint)
Loading latch (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/latch)
Loading morelint (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/morelint)
Loading timing (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/timing)
Loading starc2002 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc2002)
Loading Audits (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/Audits)
Loading area (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/area)
Loading miscellaneous (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/miscellaneous)
Loading starcad-21 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starcad-21)
Loading txv (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/txv)

TXV_INFO Parameter txv_extract_domain will be renamed to txv_domain_mode in future!

Loading power_est (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/power_est)
Loading lowpower (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/lowpower)
Loading dft_dsm (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/dft_dsm)
Loading dft (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/dft)
Loading constraints (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/constraints)
Loading const_intern1 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/constraints)
Loading clock-reset (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/clock)

INFO [76]    Using `./spyglass-1/tb_wchannel/WORK/64' as the Work Directory for 64bit precompiled dump.
Checking Rule SGDC_power_est29 (Rule 1 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PECHECK04 (Rule 2 of total 277) .... done (Time = 0.01s, Memory = 32.6K)
Checking Rule PECHECK18 (Rule 3 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PEMVDD01 (Rule 4 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck01 (Rule 5 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck02 (Rule 6 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck03 (Rule 7 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck04 (Rule 8 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_assume_path01 (Rule 9 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_sdcschema02 (Rule 10 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_clock05 (Rule 11 of total 277) .... done (Time = 0.00s, Memory = 0.1K)
Checking Rule SGDC_clock09 (Rule 12 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
Checking Rule SGDC_force_ta05 (Rule 13 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
Checking Rule SGDC_require_path03 (Rule 14 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_require_value03 (Rule 15 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_voltagedomain05 (Rule 16 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_voltagedomain06 (Rule 17 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
Checking Rule SGDC_voltagedomain07 (Rule 18 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_powerdomainoutputs02 (Rule 19 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
Checking Rule SGDC_supply01 (Rule 20 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_waive01 (Rule 21 of total 277) .... done (Time = 0.00s, Memory = -4.1K)
Checking Rule SGDC_waive02 (Rule 22 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive03 (Rule 23 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive04 (Rule 24 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive05 (Rule 25 of total 277) .... done (Time = 0.00s, Memory = -2.1K)
Checking Rule SGDC_waive06 (Rule 26 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive07 (Rule 27 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive08 (Rule 28 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive09 (Rule 29 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive10 (Rule 30 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive11 (Rule 31 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive12 (Rule 32 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive13 (Rule 33 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
Checking Rule SGDC_waive21 (Rule 34 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive22 (Rule 35 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule SGDC_waive30 (Rule 36 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive32 (Rule 37 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
Checking Rule SGDC_waive33 (Rule 38 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive36 (Rule 39 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive38 (Rule 40 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_fifo01 (Rule 41 of total 277) .... done (Time = 0.00s, Memory = 7.9K)
Checking Rule SGDC_libgroup01 (Rule 42 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup02 (Rule 43 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup04 (Rule 44 of total 277) .... done (Time = 0.00s, Memory = 15.0K)
Checking Rule SGDC_power_data01 (Rule 45 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_ungroup01 (Rule 46 of total 277) .... done (Time = 0.00s, Memory = 15.8K)
Checking Rule SGDC_abstract_port06 (Rule 47 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule SGDC_abstract_port14 (Rule 48 of total 277) .... done (Time = 0.00s, Memory = 15.0K)
Checking Rule SGDC_abstract_port15 (Rule 49 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port18 (Rule 50 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
Checking Rule sdc_init_rule (Rule 51 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
Checking Rule CMD_ignorelibs01 (Rule 52 of total 277) .... done (Time = 0.00s, Memory = 5.8K)
Checking Rule ReportRuleNotRun (Rule 53 of total 277) .... done (Time = 0.02s, Memory = -5.0K)
Checking Rule STARC05-2.3.1.2c (Rule 54 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442a (Rule 55 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442b (Rule 56 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
Checking Rule W442c (Rule 57 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442f (Rule 58 of total 277) .... done (Time = 0.00s, Memory = -0.1K)
Checking Rule mixedsenselist (Rule 59 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM1 (Rule 60 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM2 (Rule 61 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM4 (Rule 62 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule bothedges (Rule 63 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
Checking Rule BlockHeader (Rule 64 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W421 (Rule 65 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.1.6.5 (Rule 66 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportStopSummary (Rule 67 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportIgnoreSummary (Rule 68 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Analyzing source file "../rtl/sync_fifo_64_to_128.v" ....
 Analyzing source file "../rtl/sync_fifo.v" ....
 Analyzing source file "../rtl/wchannel.v" ....
 Analyzing source file "../tb/tb_wchannel.v" ....
 Elaborating Top Verilog Design Unit 'tb_wchannel' ..... done
Checking Rule ElabSummary (Rule 69 of total 277) .... done (Time = 0.00s, Memory = 24.9K)
Checking Rule ReportCheckDataSummary (Rule 70 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Reading waiver file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/constraint/spg_autogenerated_waivers.sgdc" ...
 Generating SGDC file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/constraint/pragma2Constraint.sgdc" from pragmas in HDL source files ....
 Generating WAIVER file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/waiver/pragma2Waiver.swl" from pragmas in HDL source files ....
Checking Rule DetectTopDesignUnits (Rule 71 of total 277)
 Detected 1 top level design units:
     tb_wchannel
 .... done (Time = 0.00s, Memory = 0.6K)
Performing semantic checks on SGDC contents
Checking Rule SGDC_testmode03 (Rule 72 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PECHECK09 (Rule 73 of total 277) .... done (Time = 0.00s, Memory = 8.5K)
Checking Rule Ac_multitop01 (Rule 74 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportObsoletePragmas (Rule 75 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule checkSGDC_01 (Rule 76 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule checkSGDC_03 (Rule 77 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule checkSGDC_08 (Rule 78 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule GenerateConfMap (Rule 79 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_memorywritepin04 (Rule 80 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_reset02 (Rule 81 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_reset03 (Rule 82 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_libgroup03 (Rule 83 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_ungroup02 (Rule 84 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HdlLibDuCheck (Rule 85 of total 277) .... done (Time = 0.00s, Memory = -2.5K)
Checking Rule RtlDesignInfo (Rule 86 of total 277) .... done (Time = 0.00s, Memory = 32.9K)
Checking Rule sim_race02 (Rule 87 of total 277) .... done (Time = 0.00s, Memory = -18.1K)
Checking Rule W339a (Rule 88 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W416 (Rule 89 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule mixedsenselist (Rule 90 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W110a (Rule 91 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Pragma_setupa (Rule 92 of total 277) .... done (Time = 0.01s, Memory = 0.0K)
Checking Rule _deltaDelay (Rule 93 of total 277) .... done (Time = 0.00s, Memory = 1.9K)
Checking Rule _deltaDelay (Rule 94 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule preReq_ConsCase2 (Rule 95 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule preReq_ConsCase (Rule 96 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-AlwaysParamSetup (Rule 97 of total 277) .... done (Time = 0.00s, Memory = 3.8K)
Checking Rule STARC05-ProcessParamSetup (Rule 98 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Latch_VePreReqRule (Rule 99 of total 277) .... done (Time = 0.00s, Memory = -27.2K)
Checking Rule CheckCelldefine (Rule 100 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive23 (Rule 101 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive26 (Rule 102 of total 277) .... done (Time = 0.00s, Memory = 0.3K)
Checking Rule SGDC_waive27 (Rule 103 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive29 (Rule 104 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_RegOutputs (Rule 105 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.1.4.5 (Rule 106 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.3.1.5b (Rule 107 of total 277) .... done (Time = 0.00s, Memory = -4.1K)
Checking Rule STARC05-2.3.3.1 (Rule 108 of total 277) .... done (Time = 0.00s, Memory = -33.0K)
Checking Rule STARC05-2.3.3.1 (Rule 109 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.11.3.1 (Rule 110 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_STARC05-1.6.2.1 (Rule 111 of total 277) .... done (Time = 0.00s, Memory = 5.8K)
Checking Rule Prereqs_STARC-1.6.2.1 (Rule 112 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.10.1.4a (Rule 113 of total 277) .... done (Time = 0.01s, Memory = 0.4K)
Checking Rule W496b (Rule 114 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
Checking Rule W317 (Rule 115 of total 277) .... done (Time = 0.00s, Memory = -1.0K)
Checking Rule W422 (Rule 116 of total 277) .... done (Time = 0.00s, Memory = -3.0K)
Checking Rule W426 (Rule 117 of total 277) .... done (Time = 0.00s, Memory = 13.1K)
Checking Rule W480 (Rule 118 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W481a (Rule 119 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W481b (Rule 120 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
Checking Rule W422 (Rule 121 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W156 (Rule 122 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W292 (Rule 123 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W71 (Rule 124 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W287b (Rule 125 of total 277) .... done (Time = 0.00s, Memory = -1.3K)
Checking Rule W293 (Rule 126 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W398 (Rule 127 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W421 (Rule 128 of total 277) .... done (Time = 0.00s, Memory = 22.8K)
Checking Rule W424 (Rule 129 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W467 (Rule 130 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_RegInputOutputs (Rule 131 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
Checking Rule PragmaComments-ML (Rule 132 of total 277) .... done (Time = 0.01s, Memory = 68.4K)
Checking Rule PragmaComments-ML (Rule 133 of total 277) .... done (Time = 0.00s, Memory = -8.9K)
Checking Rule CheckDelayTimescale-ML (Rule 134 of total 277) .... done (Time = 0.00s, Memory = -37.2K)
Checking Rule Prereqs_InclFileSetup-ML (Rule 135 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
Checking ELABDU Rules for designUnit tb_wchannel
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 2.8K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = -32.4K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = -0.8K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = -6.4K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = 2.9K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.01s, Memory = -14.3K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = -9.0K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.5K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = -2.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = 27.1K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 3.3K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 128.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = 10.9K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 648.3K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -16.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = -0.9K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 90.5K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit wchannel
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 3.1K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = 1.9K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = 3.6K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = 2.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = -2.2K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = 5.2K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 5.9K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.01s, Memory = -0.1K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 7.2K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.01s, Memory = 0.8K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = 19.3K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = -4.0K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 1.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = 31.5K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = -9.2K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 36.4K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.5K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -7.2K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.01s, Memory = 11.6K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 5.9K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = -4.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.01s, Memory = 0.0K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 648.3K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -16.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = -32.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = -34.7K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit sync_fifo
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 7.6K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = -9.5K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 6.0K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = 3.7K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = -17.5K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = -3.5K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = -24.5K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.5K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -2.0K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 648.3K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -16.2K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit sync_fifo_64_to_128
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = -0.9K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 96.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = -16.8K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = -2.1K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = -1.9K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = -5.3K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 30.9K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = 16.0K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = 1.3K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 1.6K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 1.8K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = -3.2K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 6.9K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.5K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -0.8K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = -0.1K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 24.1K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 648.3K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -40.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = -1.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = -3.8K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = -1.5K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_meta_design_hier01 (Rule 195 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Synthesizing module: sync_fifo_64_to_128 (elaborated name: sync_fifo_64_to_128) ... (Module 1 of total 3)  done 
 Synthesizing module: sync_fifo (elaborated name: sync_fifo) ... (Module 2 of total 3)  done 
 Synthesizing module: wchannel (elaborated name: wchannel) ... (Module 3 of total 3)  done 
 Skipping Synthesis for unsynthesizable module: tb_wchannel 
 Synthesis completed.
 1 module(s) not compiled. (Please see ErrorAnalyzeBBox and InfoAnalyzeBBBox message(s)) 
(You can also see './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/unsynth_modules.rpt' report for details)
Checking Rule InferBlackBox (Rule 196 of total 277) .... done (Time = 0.00s, Memory = -42.2K)

INFO [234]    Saving design database in directory './spyglass-1/tb_wchannel/.SG_SaveRestoreDB/autogenerated__default_snapshot' ...
              done

Checking Rule SGDC_waive37 (Rule 197 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive24 (Rule 198 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive25 (Rule 199 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive31 (Rule 200 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive35 (Rule 201 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Txv_SvaSetup01 for module sync_fifo_64_to_128 (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module sync_fifo_64_to_128 (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module sync_fifo_64_to_128 (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module sync_fifo_64_to_128 (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module sync_fifo_64_to_128 (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module sync_fifo_64_to_128 (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module sync_fifo_64_to_128 (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module sync_fifo_64_to_128 (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module sync_fifo_64_to_128 (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module sync_fifo_64_to_128 (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module sync_fifo_64_to_128 (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module sync_fifo_64_to_128 (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module sync_fifo_64_to_128 (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module sync_fifo_64_to_128 (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module sync_fifo_64_to_128 (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module sync_fifo_64_to_128 (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Txv_SvaSetup01 for module sync_fifo (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module sync_fifo (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module sync_fifo (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module sync_fifo (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module sync_fifo (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module sync_fifo (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module sync_fifo (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module sync_fifo (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module sync_fifo (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module sync_fifo (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module sync_fifo (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module sync_fifo (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module sync_fifo (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module sync_fifo (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module sync_fifo (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module sync_fifo (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Txv_SvaSetup01 for module wchannel (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module wchannel (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module wchannel (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module wchannel (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module wchannel (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module wchannel (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module wchannel (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module wchannel (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module wchannel (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module wchannel (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module wchannel (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module wchannel (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module wchannel (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module wchannel (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module wchannel (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module wchannel (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Performing semantic checks on SGDC contents
Checking Rule SGDC_testmode03 (Rule 72 of total 277) .... done (Time = 0.00s, Memory = -16.0K)
Checking Rule _abstractPortSGDC (Rule 218 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
Checking Rule SGDC_abstract_port03 (Rule 219 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port04 (Rule 220 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port05 (Rule 221 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
Checking Rule SGDC_abstract_port07 (Rule 222 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port08 (Rule 223 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port10 (Rule 224 of total 277) .... done (Time = 0.00s, Memory = 1.3K)
Checking Rule SGDC_abstract_port11 (Rule 225 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
Checking Rule SGDC_abstract_port12 (Rule 226 of total 277) .... done (Time = 0.00s, Memory = -4.5K)
Checking Rule SGDC_abstract_port13 (Rule 227 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportUngroup (Rule 228 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LINT_portReten (Rule 229 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port21 (Rule 230 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
Checking Rule InferLatch (Rule 231 of total 277) .... done (Time = 0.00s, Memory = 28.0K)
Checking Rule UndrivenInTerm-ML (Rule 232 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule AnalyzeBBox (Rule 233 of total 277) .... done (Time = 0.00s, Memory = -2.1K)
Checking Rule ReportCheckDataSummary (Rule 70 of total 277) .... done (Time = 0.00s, Memory = 0.0K)


Generating report './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/unsynth_modules.rpt' for Unsynthesized Modules

Generating data for Console...

SpyGlass Rule Checking Complete.

Generating moresimple report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' to './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/moresimple.rpt' ....

Generating runsummary report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' ....

Generating no_msg_reporting_rules report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' to './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/no_msg_reporting_rules.rpt' ....

Policy specific data (reports) are present in the directory './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports'.

SpyGlass critical reports for the current run are present in directory './spyglass-1/consolidated_reports/tb_wchannel_lint_lint_rtl/'.

---------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------
   Goal Run           :      lint/lint_rtl
   Command-line read  :      0 error,      0 warning,      0 information message 
** Design Read        :      6 errors,     0 warning,      2 information messages
      Found 1 top module:
         tb_wchannel   (file: ../tb/tb_wchannel.v)

   Blackbox Resolution:      1 error,      0 warning,      0 information message 
   SGDC Checks        :      0 error,      0 warning,      0 information message 
   Policy lint        :      2 errors,    15 warnings,     1 information message 
   Policy morelint    :      0 error,      1 warning,      0 information message 
   Policy starc2005   :      0 error,      1 warning,      0 information message 
   -------------------------------------------------------------------------------------
   Total              :      9 errors,    17 warnings,     3 information messages

  Total Number of Generated Messages     :        29 (9 errors, 17 warnings, 3 Infos)
  Number of Reported Messages            :        29 (9 errors, 17 warnings, 3 Infos)

  NOTE: It is recommended to first fix/reconcile fatals/errors reported on
        lines starting with ** as subsequent issues might be related to it.
        Please re-run SpyGlass once ** prefixed lines are fatal/error clean.

---------------------------------------------------------------------------------------------


run_goal: info: updating spyglass.log with goal summary
---------------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------------
   Goal Run           :      lint/lint_rtl
   Top Module         :      tb_wchannel
---------------------------------------------------------------------------------------------------
   Reports Directory: 
   /home/ICer/ic_prjs/mc/sim/spyglass-1/consolidated_reports/tb_wchannel_lint_lint_rtl/ 

   SpyGlass LogFile: 
    /home/ICer/ic_prjs/mc/sim/spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.log 

   Standard Reports: 
     moresimple.rpt          no_msg_reporting_rules.rpt       

   HTML report:
    /home/ICer/ic_prjs/mc/sim/spyglass-1/html_reports/goals_summary.html
  

   Technology Reports:  
     <Not Available>
   
   
---------------------------------------------------------------------------------------------------
   Goal Violation Summary:
       Waived   Messages:                      0 Errors,      0 Warnings,      0 Infos
       Reported Messages:         0 Fatals,    9 Errors,     17 Warnings,      3 Infos
---------------------------------------------------------------------------------------------------
   
---------------------------------------------------------------------------------------------------
 
run_goal: info: spyglass.log successfully updated with goal summary
run_goal: warning: cannot find design unit `tb_wchannel' specified through command current_design
0 {Rule-checking completed with errors}
INFO:    SpyGlass will run goal(s) 'lint/lint_rtl'.


RULE-CHECKING IN MIXED MODE
Loading spyglass (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/spyglass)
Loading openmore (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/openmore)
Loading starc (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc)
Loading starc2005 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc2005)
Loading erc (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/erc)
Loading simulation (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/simulation)
Loading lint (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/lint)
Loading latch (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/latch)
Loading morelint (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/morelint)
Loading timing (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/timing)
Loading starc2002 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starc2002)

INFO [326]    SpyGlass Design Database './spyglass-1/tb_wchannel/.SG_SaveRestoreDB' can not be restored because:
              Following design files/directories have been modified since design save
    ../tb/tb_wchannel.v

              Saving Database again
Loading Audits (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/Audits)
Loading area (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/area)
Loading miscellaneous (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/miscellaneous)
Loading starcad-21 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/starcad-21)
Loading txv (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/txv)

TXV_INFO Parameter txv_extract_domain will be renamed to txv_domain_mode in future!

Loading power_est (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/power_est)
Loading lowpower (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/lowpower)
Loading dft_dsm (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/dft_dsm)
Loading dft (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/dft)
Loading constraints (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/constraints)
Loading const_intern1 (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/constraints)
Loading clock-reset (SpyGlass_vL-2016.06) ... (picked from /home/synopsys/SpyGlass-L2016.06/SPYGLASS_HOME/policies/clock)

INFO [76]    Using `./spyglass-1/tb_wchannel/WORK/64' as the Work Directory for 64bit precompiled dump.
Checking Rule SGDC_power_est29 (Rule 1 of total 277) .... done (Time = 0.00s, Memory = -0.0K)
Checking Rule PECHECK04 (Rule 2 of total 277) .... done (Time = 0.03s, Memory = 23.4K)
Checking Rule PECHECK18 (Rule 3 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PEMVDD01 (Rule 4 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck01 (Rule 5 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck02 (Rule 6 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck03 (Rule 7 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PrecompileLibCheck04 (Rule 8 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_assume_path01 (Rule 9 of total 277) .... done (Time = 0.00s, Memory = 0.1K)
Checking Rule SGDC_sdcschema02 (Rule 10 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_clock05 (Rule 11 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_clock09 (Rule 12 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_force_ta05 (Rule 13 of total 277) .... done (Time = 0.00s, Memory = 0.5K)
Checking Rule SGDC_require_path03 (Rule 14 of total 277) .... done (Time = 0.00s, Memory = 6.0K)
Checking Rule SGDC_require_value03 (Rule 15 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_voltagedomain05 (Rule 16 of total 277) .... done (Time = 0.00s, Memory = 3.4K)
Checking Rule SGDC_voltagedomain06 (Rule 17 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
Checking Rule SGDC_voltagedomain07 (Rule 18 of total 277) .... done (Time = 0.00s, Memory = 34.8K)
Checking Rule SGDC_powerdomainoutputs02 (Rule 19 of total 277) .... done (Time = 0.00s, Memory = 6.9K)
Checking Rule SGDC_supply01 (Rule 20 of total 277) .... done (Time = 0.00s, Memory = -24.6K)
Checking Rule SGDC_waive01 (Rule 21 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive02 (Rule 22 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive03 (Rule 23 of total 277) .... done (Time = 0.00s, Memory = -32.0K)
Checking Rule SGDC_waive04 (Rule 24 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive05 (Rule 25 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive06 (Rule 26 of total 277) .... done (Time = 0.00s, Memory = -31.1K)
Checking Rule SGDC_waive07 (Rule 27 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive08 (Rule 28 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive09 (Rule 29 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive10 (Rule 30 of total 277) .... done (Time = 0.00s, Memory = -2.9K)
Checking Rule SGDC_waive11 (Rule 31 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive12 (Rule 32 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive13 (Rule 33 of total 277) .... done (Time = 0.00s, Memory = -6.1K)
Checking Rule SGDC_waive21 (Rule 34 of total 277) .... done (Time = 0.00s, Memory = 1.6K)
Checking Rule SGDC_waive22 (Rule 35 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive30 (Rule 36 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive32 (Rule 37 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive33 (Rule 38 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive36 (Rule 39 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive38 (Rule 40 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_fifo01 (Rule 41 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
Checking Rule SGDC_libgroup01 (Rule 42 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup02 (Rule 43 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_libgroup04 (Rule 44 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_power_data01 (Rule 45 of total 277) .... done (Time = 0.00s, Memory = 1.5K)
Checking Rule SGDC_ungroup01 (Rule 46 of total 277) .... done (Time = 0.00s, Memory = 8.3K)
Checking Rule SGDC_abstract_port06 (Rule 47 of total 277) .... done (Time = 0.00s, Memory = 5.0K)
Checking Rule SGDC_abstract_port14 (Rule 48 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_abstract_port15 (Rule 49 of total 277) .... done (Time = 0.00s, Memory = 1.4K)
Checking Rule SGDC_abstract_port18 (Rule 50 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule sdc_init_rule (Rule 51 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
Checking Rule CMD_ignorelibs01 (Rule 52 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportRuleNotRun (Rule 53 of total 277) .... done (Time = 0.03s, Memory = -29.3K)
Checking Rule STARC05-2.3.1.2c (Rule 54 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442a (Rule 55 of total 277) .... done (Time = 0.00s, Memory = -0.3K)
Checking Rule W442b (Rule 56 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442c (Rule 57 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W442f (Rule 58 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule mixedsenselist (Rule 59 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM1 (Rule 60 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM2 (Rule 61 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule badimplicitSM4 (Rule 62 of total 277) .... done (Time = 0.00s, Memory = 3.1K)
Checking Rule bothedges (Rule 63 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule BlockHeader (Rule 64 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
Checking Rule W421 (Rule 65 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.1.6.5 (Rule 66 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportStopSummary (Rule 67 of total 277) .... done (Time = 0.00s, Memory = 1.6K)
Checking Rule ReportIgnoreSummary (Rule 68 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Analyzing source file "../rtl/sync_fifo_64_to_128.v" ....
 Analyzing source file "../rtl/sync_fifo.v" ....
 Analyzing source file "../rtl/wchannel.v" ....
 Analyzing source file "../tb/tb_wchannel.v" ....
 Elaborating Top Verilog Design Unit 'tb_wchannel' ..... done
Checking Rule ElabSummary (Rule 69 of total 277) .... done (Time = 0.00s, Memory = 8.3K)
Checking Rule ReportCheckDataSummary (Rule 70 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Reading waiver file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/constraint/spg_autogenerated_waivers.sgdc" ...
 Generating SGDC file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/constraint/pragma2Constraint.sgdc" from pragmas in HDL source files ....
 Generating WAIVER file "./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_spysch/waiver/pragma2Waiver.swl" from pragmas in HDL source files ....
Checking Rule DetectTopDesignUnits (Rule 71 of total 277)
 Detected 1 top level design units:
     tb_wchannel
 .... done (Time = 0.00s, Memory = 0.6K)
Performing semantic checks on SGDC contents
Checking Rule SGDC_testmode03 (Rule 72 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PECHECK09 (Rule 73 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_multitop01 (Rule 74 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
Checking Rule ReportObsoletePragmas (Rule 75 of total 277) .... done (Time = 0.00s, Memory = -16.0K)
Checking Rule checkSGDC_01 (Rule 76 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule checkSGDC_03 (Rule 77 of total 277) .... done (Time = 0.00s, Memory = -1.1K)
Checking Rule checkSGDC_08 (Rule 78 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule GenerateConfMap (Rule 79 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
Checking Rule SGDC_memorywritepin04 (Rule 80 of total 277) .... done (Time = 0.00s, Memory = 33.2K)
Checking Rule SGDC_reset02 (Rule 81 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_reset03 (Rule 82 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule SGDC_libgroup03 (Rule 83 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_ungroup02 (Rule 84 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HdlLibDuCheck (Rule 85 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
Checking Rule RtlDesignInfo (Rule 86 of total 277) .... done (Time = 0.00s, Memory = 0.9K)
Checking Rule sim_race02 (Rule 87 of total 277) .... done (Time = 0.00s, Memory = -3.3K)
Checking Rule W339a (Rule 88 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W416 (Rule 89 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule mixedsenselist (Rule 90 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W110a (Rule 91 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Pragma_setupa (Rule 92 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _deltaDelay (Rule 93 of total 277) .... done (Time = 0.00s, Memory = 1.9K)
Checking Rule _deltaDelay (Rule 94 of total 277) .... done (Time = 0.00s, Memory = -1.5K)
Checking Rule preReq_ConsCase2 (Rule 95 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule preReq_ConsCase (Rule 96 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-AlwaysParamSetup (Rule 97 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
Checking Rule STARC05-ProcessParamSetup (Rule 98 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Latch_VePreReqRule (Rule 99 of total 277) .... done (Time = 0.00s, Memory = 9.5K)
Checking Rule CheckCelldefine (Rule 100 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
Checking Rule SGDC_waive23 (Rule 101 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
Checking Rule SGDC_waive26 (Rule 102 of total 277) .... done (Time = 0.00s, Memory = 0.3K)
Checking Rule SGDC_waive27 (Rule 103 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive29 (Rule 104 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_RegOutputs (Rule 105 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.1.4.5 (Rule 106 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.3.1.5b (Rule 107 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.3.3.1 (Rule 108 of total 277) .... done (Time = 0.00s, Memory = 1.5K)
Checking Rule STARC05-2.3.3.1 (Rule 109 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.11.3.1 (Rule 110 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_STARC05-1.6.2.1 (Rule 111 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_STARC-1.6.2.1 (Rule 112 of total 277) .... done (Time = 0.00s, Memory = -5.6K)
Checking Rule STARC05-2.10.1.4a (Rule 113 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W496b (Rule 114 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
Checking Rule W317 (Rule 115 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
Checking Rule W422 (Rule 116 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
Checking Rule W426 (Rule 117 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
Checking Rule W480 (Rule 118 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W481a (Rule 119 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W481b (Rule 120 of total 277) .... done (Time = 0.00s, Memory = -6.0K)
Checking Rule W422 (Rule 121 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W156 (Rule 122 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W292 (Rule 123 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W71 (Rule 124 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W287b (Rule 125 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W293 (Rule 126 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W398 (Rule 127 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W421 (Rule 128 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W424 (Rule 129 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W467 (Rule 130 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Prereqs_RegInputOutputs (Rule 131 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PragmaComments-ML (Rule 132 of total 277) .... done (Time = 0.00s, Memory = 69.2K)
Checking Rule PragmaComments-ML (Rule 133 of total 277) .... done (Time = 0.00s, Memory = -2.0K)
Checking Rule CheckDelayTimescale-ML (Rule 134 of total 277) .... done (Time = 0.00s, Memory = -30.3K)
Checking Rule Prereqs_InclFileSetup-ML (Rule 135 of total 277) .... done (Time = 0.00s, Memory = 7.8K)
Checking ELABDU Rules for designUnit tb_wchannel
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = -0.3K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 3.8K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = -38.3K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = -64.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = -0.1K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = 2.0K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 1.0K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = -4.2K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = 1.6K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = -20.4K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = -9.8K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = 19.0K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 0.1K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = -2.6K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 3.1K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 3.8K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = 27.8K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = 3.1K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = -20.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = -9.6K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 7.5K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.01s, Memory = 9.3K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 645.4K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -16.5K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = -24.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = -0.6K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = -6.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit wchannel
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = -3.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = 3.6K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = 23.0K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.01s, Memory = -10.8K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = -16.3K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = -9.9K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = 1.2K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = 4.8K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = 20.1K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = -30.0K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 5.1K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = -9.1K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = -4.2K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 1.8K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = -9.4K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = -21.1K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 4.7K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -6.0K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 16.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.01s, Memory = 0.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = -45.5K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 645.4K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -13.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = 0.8K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit sync_fifo
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = 0.3K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = -0.3K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = -0.4K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = -32.0K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = -1.1K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 2.0K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = -0.8K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 34.8K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = -3.5K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = -5.1K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = -4.5K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = -4.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = 8.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = -3.5K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -3.7K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.01s, Memory = 0.9K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = -6.4K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 5.6K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = -15.3K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 645.4K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -12.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = -2.1K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 3.5K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = -23.2K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking ELABDU Rules for designUnit sync_fifo_64_to_128
    Checking Rule syncRstReq (Rule 136 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule syncRstReq (Rule 137 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule AcOvlRtl (Rule 138 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule AcOvlRtl (Rule 139 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule Prereqs_STARC-2.3.6.1 (Rule 140 of total 277) .... done (Time = 0.00s, Memory = 24.0K)
    Checking Rule GenTopLevelBlocksForAutoSoc (Rule 141 of total 277) .... done (Time = 0.00s, Memory = -0.9K)
    Checking Rule STARC05-2.1.5.3 (Rule 142 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.2.3.3 (Rule 143 of total 277) .... done (Time = 0.00s, Memory = -49.5K)
    Checking Rule STARC05-2.3.1.6 (Rule 144 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.2.3 (Rule 145 of total 277) .... done (Time = 0.00s, Memory = -1.5K)
    Checking Rule STARC05-2.10.3.2a (Rule 146 of total 277) .... done (Time = 0.00s, Memory = -4.7K)
    Checking Rule STARC05-2.11.3.1 (Rule 147 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.1.3.1 (Rule 148 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule STARC05-2.10.1.4b (Rule 149 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W110 (Rule 150 of total 277) .... done (Time = 0.00s, Memory = 32.0K)
    Checking Rule W122 (Rule 151 of total 277) .... done (Time = 0.00s, Memory = -18.2K)
    Checking Rule W496a (Rule 152 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W19 (Rule 153 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W66 (Rule 154 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W116 (Rule 155 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W123 (Rule 156 of total 277) .... done (Time = 0.00s, Memory = 14.2K)
    Checking Rule W156 (Rule 157 of total 277) .... done (Time = 0.00s, Memory = -0.0K)
    Checking Rule W215 (Rule 158 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W216 (Rule 159 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W218 (Rule 160 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W224 (Rule 161 of total 277) .... done (Time = 0.00s, Memory = -3.2K)
    Checking Rule W263 (Rule 162 of total 277) .... done (Time = 0.00s, Memory = 23.7K)
    Checking Rule W289 (Rule 163 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W337 (Rule 164 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W352 (Rule 165 of total 277) .... done (Time = 0.00s, Memory = -8.0K)
    Checking Rule W362 (Rule 166 of total 277) .... done (Time = 0.00s, Memory = -58.0K)
    Checking Rule W415a (Rule 167 of total 277) .... done (Time = 0.00s, Memory = -1.4K)
    Checking Rule W486 (Rule 168 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W499 (Rule 169 of total 277) .... done (Time = 0.00s, Memory = 3.9K)
    Checking Rule W502 (Rule 170 of total 277) .... done (Time = 0.00s, Memory = 2.1K)
    Checking Rule W116 (Rule 171 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W122 (Rule 172 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W123 (Rule 173 of total 277) .... done (Time = 0.00s, Memory = 0.6K)
    Checking Rule W71 (Rule 174 of total 277) .... done (Time = 0.00s, Memory = -0.2K)
    Checking Rule W240 (Rule 175 of total 277) .... done (Time = 0.00s, Memory = -0.5K)
    Checking Rule W240 (Rule 176 of total 277) .... done (Time = 0.00s, Memory = 0.2K)
    Checking Rule W287a (Rule 177 of total 277) .... done (Time = 0.00s, Memory = 16.0K)
    Checking Rule W293 (Rule 178 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W398 (Rule 179 of total 277) .... done (Time = 0.00s, Memory = 4.0K)
    Checking Rule W424 (Rule 180 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W467 (Rule 181 of total 277) .... done (Time = 0.00s, Memory = -0.7K)
    Checking Rule W505 (Rule 182 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W505 (Rule 183 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 184 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule W528 (Rule 185 of total 277) .... done (Time = 0.00s, Memory = 645.4K)
    Checking Rule Prereqs_Usage (Rule 186 of total 277) .... done (Time = 0.00s, Memory = -16.0K)
    Checking Rule Postreqs_CheckFuncTask (Rule 187 of total 277) .... done (Time = 0.00s, Memory = 15.5K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 188 of total 277) .... done (Time = 0.00s, Memory = -45.0K)
    Checking Rule Prereqs_ConstantInput-ML (Rule 189 of total 277) .... done (Time = 0.00s, Memory = 0.4K)
    Checking Rule ReportPortInfo-ML (Rule 190 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoAssignX-ML (Rule 191 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule ParamWidthMismatch-ML (Rule 192 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule Postreqs_Usage_ML (Rule 193 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
    Checking Rule NoXInCase-ML (Rule 194 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_meta_design_hier01 (Rule 195 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
 Synthesizing module: sync_fifo_64_to_128 (elaborated name: sync_fifo_64_to_128) ... (Module 1 of total 3)  done 
 Synthesizing module: sync_fifo (elaborated name: sync_fifo) ... (Module 2 of total 3)  done 
 Synthesizing module: wchannel (elaborated name: wchannel) ... (Module 3 of total 3)  done 
 Skipping Synthesis for unsynthesizable module: tb_wchannel 
 Synthesis completed.
 1 module(s) not compiled. (Please see ErrorAnalyzeBBox and InfoAnalyzeBBBox message(s)) 
(You can also see './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/unsynth_modules.rpt' report for details)
Checking Rule InferBlackBox (Rule 196 of total 277) .... done (Time = 0.01s, Memory = -30.2K)

INFO [234]    Saving design database in directory './spyglass-1/tb_wchannel/.SG_SaveRestoreDB/autogenerated__default_snapshot' ...
              done

Checking Rule SGDC_waive37 (Rule 197 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive24 (Rule 198 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive25 (Rule 199 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive31 (Rule 200 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_waive35 (Rule 201 of total 277) .... done (Time = 0.00s, Memory = 1.0K)
Checking Rule Txv_SvaSetup01 for module sync_fifo_64_to_128 (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module sync_fifo_64_to_128 (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module sync_fifo_64_to_128 (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module sync_fifo_64_to_128 (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module sync_fifo_64_to_128 (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module sync_fifo_64_to_128 (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module sync_fifo_64_to_128 (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module sync_fifo_64_to_128 (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module sync_fifo_64_to_128 (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module sync_fifo_64_to_128 (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module sync_fifo_64_to_128 (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module sync_fifo_64_to_128 (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module sync_fifo_64_to_128 (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module sync_fifo_64_to_128 (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module sync_fifo_64_to_128 (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module sync_fifo_64_to_128 (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Txv_SvaSetup01 for module sync_fifo (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module sync_fifo (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module sync_fifo (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module sync_fifo (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module sync_fifo (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module sync_fifo (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module sync_fifo (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module sync_fifo (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module sync_fifo (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module sync_fifo (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module sync_fifo (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module sync_fifo (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module sync_fifo (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module sync_fifo (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module sync_fifo (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module sync_fifo (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Txv_SvaSetup01 for module wchannel (Rule 202 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule PESVASETUP01 for module wchannel (Rule 203 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _cdc_save_license01 for module wchannel (Rule 204 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Reset_check05 for module wchannel (Rule 205 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _syncResetStyleRTL for module wchannel (Rule 206 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _meta_delay01 for module wchannel (Rule 207 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule Ac_svasetup01 for module wchannel (Rule 208 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LogNMuxPrereq for module wchannel (Rule 209 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC-1.3.2.2_prereq for module wchannel (Rule 210 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W336 for module wchannel (Rule 211 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W414 for module wchannel (Rule 212 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule W450L for module wchannel (Rule 213 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule HangingNetPreReq-ML for module wchannel (Rule 214 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule RegInputOutput-ML for module wchannel (Rule 215 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.7 for module wchannel (Rule 216 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule STARC05-2.5.1.9 for module wchannel (Rule 217 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Performing semantic checks on SGDC contents
Checking Rule SGDC_testmode03 (Rule 72 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule _abstractPortSGDC (Rule 218 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port03 (Rule 219 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port04 (Rule 220 of total 277) .... done (Time = 0.00s, Memory = -34.0K)
Checking Rule SGDC_abstract_port05 (Rule 221 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port07 (Rule 222 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port08 (Rule 223 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port10 (Rule 224 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port11 (Rule 225 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port12 (Rule 226 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port13 (Rule 227 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule ReportUngroup (Rule 228 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule LINT_portReten (Rule 229 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule SGDC_abstract_port21 (Rule 230 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule InferLatch (Rule 231 of total 277) .... done (Time = 0.00s, Memory = 28.0K)
Checking Rule UndrivenInTerm-ML (Rule 232 of total 277) .... done (Time = 0.00s, Memory = 0.0K)
Checking Rule AnalyzeBBox (Rule 233 of total 277) .... done (Time = 0.00s, Memory = -90.0K)
Checking Rule ReportCheckDataSummary (Rule 70 of total 277) .... done (Time = 0.00s, Memory = 0.0K)


Generating report './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/unsynth_modules.rpt' for Unsynthesized Modules

Generating data for Console...

SpyGlass Rule Checking Complete.

Generating moresimple report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' to './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/moresimple.rpt' ....

Generating runsummary report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' ....

Generating no_msg_reporting_rules report from './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.vdb' to './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/no_msg_reporting_rules.rpt' ....

Policy specific data (reports) are present in the directory './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports'.

SpyGlass critical reports for the current run are present in directory './spyglass-1/consolidated_reports/tb_wchannel_lint_lint_rtl/'.

---------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------
   Goal Run           :      lint/lint_rtl
   Command-line read  :      0 error,      0 warning,      0 information message 
** Design Read        :      6 errors,     0 warning,      2 information messages
      Found 1 top module:
         tb_wchannel   (file: ../tb/tb_wchannel.v)

   Blackbox Resolution:      1 error,      0 warning,      0 information message 
   SGDC Checks        :      0 error,      0 warning,      0 information message 
   Policy lint        :      0 error,     15 warnings,     1 information message 
   Policy morelint    :      0 error,      1 warning,      0 information message 
   Policy starc2005   :      0 error,      1 warning,      0 information message 
   -------------------------------------------------------------------------------------
   Total              :      7 errors,    17 warnings,     3 information messages

  Total Number of Generated Messages     :        27 (7 errors, 17 warnings, 3 Infos)
  Number of Reported Messages            :        27 (7 errors, 17 warnings, 3 Infos)

  NOTE: It is recommended to first fix/reconcile fatals/errors reported on
        lines starting with ** as subsequent issues might be related to it.
        Please re-run SpyGlass once ** prefixed lines are fatal/error clean.

---------------------------------------------------------------------------------------------


run_goal: info: updating spyglass.log with goal summary
---------------------------------------------------------------------------------------------------
Results Summary:
---------------------------------------------------------------------------------------------------
   Goal Run           :      lint/lint_rtl
   Top Module         :      tb_wchannel
---------------------------------------------------------------------------------------------------
   Reports Directory: 
   /home/ICer/ic_prjs/mc/sim/spyglass-1/consolidated_reports/tb_wchannel_lint_lint_rtl/ 

   SpyGlass LogFile: 
    /home/ICer/ic_prjs/mc/sim/spyglass-1/tb_wchannel/lint/lint_rtl/spyglass.log 

   Standard Reports: 
     moresimple.rpt          no_msg_reporting_rules.rpt       

   HTML report:
    /home/ICer/ic_prjs/mc/sim/spyglass-1/html_reports/goals_summary.html
  

   Technology Reports:  
     <Not Available>
   
   
---------------------------------------------------------------------------------------------------
   Goal Violation Summary:
       Waived   Messages:                      0 Errors,      0 Warnings,      0 Infos
       Reported Messages:         0 Fatals,    7 Errors,     17 Warnings,      3 Infos
---------------------------------------------------------------------------------------------------
   
---------------------------------------------------------------------------------------------------
 
run_goal: info: spyglass.log successfully updated with goal summary
run_goal: warning: cannot find design unit `tb_wchannel' specified through command current_design
0 {Rule-checking completed with errors}