
################################################################################
#
# This file has been generated by SpyGlass:
#     Report Name      : moresimple
#     Report Created by: ICer
#     Report Created on:  Tue Aug  5 11:15:45 2025
#     Working Directory: /home/ICer/ic_prjs/mc/sim
#     SpyGlass Version : SpyGlass_vL-2016.06
#     Policy Name      : SpyGlass(SpyGlass_vL-2016.06)
#                        clock-reset(SpyGlass_vL-2016.06)
#                        erc(SpyGlass_vL-2016.06)
#                        latch(SpyGlass_vL-2016.06)
#                        lint(SpyGlass_vL-2016.06)
#                        morelint(SpyGlass_vL-2016.06)
#                        openmore(SpyGlass_vL-2016.06)
#                        power_est(SpyGlass_vL-2016.06)
#                        simulation(SpyGlass_vL-2016.06)
#                        starc(SpyGlass_vL-2016.06)
#                        starc2005(SpyGlass_vL-2016.06)
#                        timing(SpyGlass_vL-2016.06)
#                        txv(SpyGlass_vL-2016.06)
#
#     Total Number of Generated Messages :         27
#     Number of Waived Messages          :          0
#     Number of Reported Messages        :         27
#     Number of Overlimit Messages       :          0
#
#
################################################################################

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
MORESIMPLE REPORT:


############### BuiltIn -> RuleGroup=Blackbox Resolution ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID       Rule                Alias               Severity    File                   Line    Wt    Message
======================================================================================
[1B]     ErrorAnalyzeBBox    ErrorAnalyzeBBox    Error       ../tb/tb_wchannel.v    1       10    UnsynthesizedDU: Design Unit 'tb_wchannel' (elaborated name 'tb_wchannel') not synthesizable; SYNTH_196, SYNTH_106 error(s) found during analysis
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


############### BuiltIn -> RuleGroup=Design Read ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID       Rule                    Alias                   Severity          File                                                                                 Line    Wt      Message
======================================================================================
[7]      DetectTopDesignUnits    DetectTopDesignUnits    Info              ../tb/tb_wchannel.v                                                                  1       2       Module tb_wchannel is a top level design unit
[1]      SYNTH_106               SYNTH_106               SynthesisError    ../tb/tb_wchannel.v                                                                  83      1000    WAIT statements are not synthesizable
[4]      SYNTH_106               SYNTH_106               SynthesisError    ../tb/tb_wchannel.v                                                                  100     1000    WAIT statements are not synthesizable
[0]      SYNTH_196               SYNTH_196               SynthesisError    ../tb/tb_wchannel.v                                                                  78      1000    Task should not have event control statements
[2]      SYNTH_196               SYNTH_196               SynthesisError    ../tb/tb_wchannel.v                                                                  84      1000    Task should not have event control statements
[3]      SYNTH_196               SYNTH_196               SynthesisError    ../tb/tb_wchannel.v                                                                  94      1000    Task should not have event control statements
[5]      SYNTH_196               SYNTH_196               SynthesisError    ../tb/tb_wchannel.v                                                                  101     1000    Task should not have event control statements
[6]      ElabSummary             ElabSummary             Info              ./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/elab_summary.rpt    0       2       Please refer file './spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/SpyGlass/elab_summary.rpt' for elab summary report
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


############### Non-BuiltIn -> Goal=lint/lint_rtl ###############
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID       Rule                      Alias                Severity    File                                                                                  Line    Wt    Message
======================================================================================
[10]     CheckDelayTimescale-ML                         Warning     ../tb/tb_wchannel.v                                                                   39      5     Delay used without timescale compiler directive
[15]     STARC05-2.11.3.1          SepStateNextLogic    Warning     ../rtl/wchannel.v                                                                     150     10    Combinational and sequential parts of an FSM described in same always block
[19]     W240                                           Warning     ../rtl/wchannel.v                                                                     11      10    Input 'axi_s_wlast' declared but not read.[Hierarchy: ':tb_wchannel:u_wchannel@wchannel']
[16]     W362                                           Warning     ../rtl/wchannel.v                                                                     64      10    For operator (==), left expression: "wframe_cnt" width 7 should match right expression: "(awlen >> 1'b1)" width 8 [Hierarchy: ':tb_wchannel:u_wchannel@wchannel']
[17]     W362                                           Warning     ../rtl/wchannel.v                                                                     100     10    For operator (==), left expression: "wframe_cnt" width 7 should match right expression: "(awlen >> 1'b1)" width 8 [Hierarchy: ':tb_wchannel:u_wchannel@wchannel']
[18]     W362                                           Warning     ../rtl/wchannel.v                                                                     131     10    For operator (==), left expression: "wframe_cnt" width 7 should match right expression: "(awlen >> 1)" width 8 [Hierarchy: ':tb_wchannel:u_wchannel@wchannel']
[8]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   79      5     Global variable 'axi_s_awvalid' should not be 'set' in task
[9]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   80      5     Global variable 'axi_s_awaddr' should not be 'set' in task
[A]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   81      5     Global variable 'axi_s_awlen' should not be 'set' in task
[B]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   85      5     Global variable 'axi_s_awvalid' should not be 'set' in task
[C]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   95      5     Global variable 'axi_s_wvalid' should not be 'set' in task
[D]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   96      5     Global variable 'axi_s_wdata' should not be 'set' in task
[E]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   97      5     Global variable 'axi_s_wlast' should not be 'set' in task
[F]      W426                                           Warning     ../tb/tb_wchannel.v                                                                   102     5     Global variable 'axi_s_wvalid' should not be 'set' in task
[1A]     W528                                           Warning     ../rtl/wchannel.v                                                                     52      10    Variable 'awraddr[15:0]' set but not read.[Hierarchy: ':tb_wchannel:u_wchannel@wchannel']
[12]     W528                                           Warning     ../tb/tb_wchannel.v                                                                   31      10    Variable 'wframe_valid' set but not read.[Hierarchy: ':tb_wchannel']
[13]     W528                                           Warning     ../tb/tb_wchannel.v                                                                   32      10    Variable 'wframe_data[159:0]' set but not read.[Hierarchy: ':tb_wchannel']
[11]     W528                                           Info        ./spyglass-1/tb_wchannel/lint/lint_rtl/spyglass_reports/lint/SignalUsageReport.rpt    0       10    Please refer to 'SignalUsageReport.rpt' for details of violating bits
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
