VC Spyglass：Lint官方Hands-on Training（一）
本文是对VC Spyglass Lint Hands-on Training中第一个实验的翻译（有删改），Lab文件可以从以下链接获取。
·
相关阅读
VC Spyglass
https://blog.csdn.net/weixin_45791458/category_12828932.html?spm=1001.2014.3001.5482
本文是对VC Spyglass Lint Hands-on Training中第一个实验的翻译（有删改），Lab文件可以从以下链接获取。
VC Spyglass Lint Hands-on Traininghttps://download.csdn.net/download/weixin_45791458/91056423
实验概述
本次实验将帮助用户熟悉VC Spyglass Lint的使用模式及其功能，实验内容包括以下方面：
- 使用已有的SpyGlass项目运行VC Spyglass Lint。
- 使用TCL文件直接运行VC Spyglass Lint。
- 会话的保存/恢复。
- 图形用户界面(GUI)操作。
- 屏蔽(waive)违规。
- 标签验证。
实验一、Spyglass使用模式(SGUM)
本实验旨在帮助用户掌握基于已有Spyglass项目运行VC Spyglass Lint的基本流程，并初步熟悉VC Spyglass的图形用户界面 (GUI) 的使用。实验中将介绍GUI的主要区域、帮助菜单及右侧的快捷提示信息，并指导用户如何屏蔽违规项。
通过本实验，用户将学习以下内容：
-
如何将Spyglass项目文件转换为VC Spyglass Lint所需的TCL文件
-
如何在vc_static_shell中运行设计
-
如何在GUI中运行设计
-
如何对违规项进行屏蔽操作
运行VC Spyglass
1、进入实验一的目录。
% cd VC_SpyGlass_Lint_Overview\Lab12、 对之前的工作文件进行清理，为了简便本实验可以使用Makefile，内容如下所示。
prj2tcl_shell:
vc_static_shell -f convert.tcl -out_dir VC_RUN
prj2tcl_verdi:
vc_static_shell -f convert.tcl -verdi -out_dir VC_RUN
clean:
rm -rf VC_RUN WORK *.json Work report_hdl.txt gui_command.log gen*% make clean3、可以看出，实验目录中存在test.prj项目文件，如果使用SGUM模式，则需要使用以下命令（已包含在convert.tcl中）。
sg_read_project -project <spyglass_project_file> -goal <goal_name> -run -tclfile <tcl_name>需要注意的是，如果不使用-run选项，工具只会生成TCL文件而不会执行它。如果未指定-tcl选项，TCL文件将默认在以下路径生成。
vcst_rtdb/.internal/spyglass/<project_file_name>/<top_module_name>/<goal_name>/internal.tcl4、在vc_static_shell中运行convert.tcl，vc_static平台集成了VC Spyglass、VC Formal、VC LP等静态/形式验证工具。
% vc_static_shell -f convert.tcl -out_dir VC_RUN
使用make命令也是可以的。
% make prj2tcl_shell5、转换完成后，当前目录下会生成gen.tcl文件并运行，最后留在vc_static_shell命令行，使用quit命令退出并查看生成的文件。
% gvim gen.tcl
6、查看gen_rules.tcl文件（被gen.tcl文件source），该文件包含了对标签(Tag)的配置，它在Spyglass中被称为规则(Rule)。
% gvim gen_rules.tcl
7、由于在使用sg_read_project命令进行转换时添加了-run选项，moresimple报告将在以下路径生成，该结构就像是以前spyglass的项目目录那样，如图。
vcst_rtdb/test/top/lint/int_rtI/spyglass_reports/moresimple.rpt如果在使用sg_read_project命令进行转换时不添加-run选项，随后单独运行gen.tcl，oresimple报告将在以下路径生成。
vcst_rtdb/reports/moresimple.rpt################################################################################
#
# This file has been generated by VC Static Master Shell:
# Report Name : moresimple
# Report Created by : zhangchen
# Report Created on : Wed Jun 18 22:26:06 2025
# Working Directory : /home/zhangchen/VC_SpyGlass_Lint_Overview/Lab1_direct
# VC Static Master Shell : W-2024.09
#
# Total Number of Generated Messages : 383
# Number of Waived Messages : 0
# Number of Reported Messages : 383
#
#
################################################################################
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
MORESIMPLE REPORT:
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
############### BuiltIn -> RuleGroup=BlackBox Resolution###############
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID Rule Alias Severity File Line Wt Message
============================================================================================================================================================================================================================================================
[143] InfoAnalyzeBBox InfoAnalyzeBBox info openfire/openfire_soc.v 37 10 UnsynthesizedDU: Design Unit 'openfire_soc' (elaborated name 'openfire_soc') not synthesizable; 'Stop applied on design unit using -stop option'
[144] ErrorAnalyzeBBox ErrorAnalyzeBBox error top.v 351 10 Design Unit 'ca_prng' has no definition; black-box behavior assumed and module interface inferred
[145] ErrorAnalyzeBBox ErrorAnalyzeBBox error hpdmc/spartan6/hpdmc_iobuf32.v 32 10 Design Unit 'IOBUF' has no definition; black-box behavior assumed and module interface inferred
[146] ErrorAnalyzeBBox ErrorAnalyzeBBox error hpdmc/spartan6/hpdmc_oddr32.v 44 10 Design Unit 'ODDR2' has no definition; black-box behavior assumed and module interface inferred
[147] ErrorAnalyzeBBox ErrorAnalyzeBBox error hpdmc/spartan6/hpdmc_iddr32.v 46 10 Design Unit 'IDDR2' has no definition; black-box behavior assumed and module interface inferred
[148] ErrorAnalyzeBBox ErrorAnalyzeBBox error hpdmc/spartan6/hpdmc_obuft4.v 31 10 Design Unit 'OBUFT' has no definition; black-box behavior assumed and module interface inferred
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
############### BuiltIn -> RuleGroup=Design Read###############
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID Rule Alias Severity File Line Wt Message
============================================================================================================================================================================================================================================================
[32] SM_URMI N.A warning top.v 351 N.A Module definition 'ca_prng' of instance 'Uca_prng' is not found in the design
[36] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 32 N.A Module definition 'IOBUF' of instance 'iobuf0' is not found in the design
[37] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 38 N.A Module definition 'IOBUF' of instance 'iobuf1' is not found in the design
[38] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 44 N.A Module definition 'IOBUF' of instance 'iobuf2' is not found in the design
[39] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 50 N.A Module definition 'IOBUF' of instance 'iobuf3' is not found in the design
[40] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 56 N.A Module definition 'IOBUF' of instance 'iobuf4' is not found in the design
[41] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 62 N.A Module definition 'IOBUF' of instance 'iobuf5' is not found in the design
[42] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 68 N.A Module definition 'IOBUF' of instance 'iobuf6' is not found in the design
[43] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 74 N.A Module definition 'IOBUF' of instance 'iobuf7' is not found in the design
[44] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 80 N.A Module definition 'IOBUF' of instance 'iobuf8' is not found in the design
[45] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 86 N.A Module definition 'IOBUF' of instance 'iobuf9' is not found in the design
[46] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 92 N.A Module definition 'IOBUF' of instance 'iobuf10' is not found in the design
[47] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 98 N.A Module definition 'IOBUF' of instance 'iobuf11' is not found in the design
[48] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 104 N.A Module definition 'IOBUF' of instance 'iobuf12' is not found in the design
[49] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 110 N.A Module definition 'IOBUF' of instance 'iobuf13' is not found in the design
[50] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 116 N.A Module definition 'IOBUF' of instance 'iobuf14' is not found in the design
[51] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 122 N.A Module definition 'IOBUF' of instance 'iobuf15' is not found in the design
[52] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 128 N.A Module definition 'IOBUF' of instance 'iobuf16' is not found in the design
[53] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 134 N.A Module definition 'IOBUF' of instance 'iobuf17' is not found in the design
[54] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 140 N.A Module definition 'IOBUF' of instance 'iobuf18' is not found in the design
[55] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 146 N.A Module definition 'IOBUF' of instance 'iobuf19' is not found in the design
[56] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 152 N.A Module definition 'IOBUF' of instance 'iobuf20' is not found in the design
[57] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 158 N.A Module definition 'IOBUF' of instance 'iobuf21' is not found in the design
[58] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 164 N.A Module definition 'IOBUF' of instance 'iobuf22' is not found in the design
[59] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 170 N.A Module definition 'IOBUF' of instance 'iobuf23' is not found in the design
[60] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 176 N.A Module definition 'IOBUF' of instance 'iobuf24' is not found in the design
[61] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 182 N.A Module definition 'IOBUF' of instance 'iobuf25' is not found in the design
[62] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 188 N.A Module definition 'IOBUF' of instance 'iobuf26' is not found in the design
[63] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 194 N.A Module definition 'IOBUF' of instance 'iobuf27' is not found in the design
[64] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 200 N.A Module definition 'IOBUF' of instance 'iobuf28' is not found in the design
[65] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 206 N.A Module definition 'IOBUF' of instance 'iobuf29' is not found in the design
[66] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 212 N.A Module definition 'IOBUF' of instance 'iobuf30' is not found in the design
[67] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iobuf32.v 218 N.A Module definition 'IOBUF' of instance 'iobuf31' is not found in the design
[68] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 44 N.A Module definition 'ODDR2' of instance 'oddr0' is not found in the design
[69] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 58 N.A Module definition 'ODDR2' of instance 'oddr1' is not found in the design
[70] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 72 N.A Module definition 'ODDR2' of instance 'oddr2' is not found in the design
[71] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 86 N.A Module definition 'ODDR2' of instance 'oddr3' is not found in the design
[72] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 100 N.A Module definition 'ODDR2' of instance 'oddr4' is not found in the design
[73] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 114 N.A Module definition 'ODDR2' of instance 'oddr5' is not found in the design
[74] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 128 N.A Module definition 'ODDR2' of instance 'oddr6' is not found in the design
[75] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 142 N.A Module definition 'ODDR2' of instance 'oddr7' is not found in the design
[76] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 156 N.A Module definition 'ODDR2' of instance 'oddr8' is not found in the design
[77] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 170 N.A Module definition 'ODDR2' of instance 'oddr9' is not found in the design
[78] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 46 N.A Module definition 'IDDR2' of instance 'iddr0' is not found in the design
[79] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 184 N.A Module definition 'ODDR2' of instance 'oddr10' is not found in the design
[80] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 198 N.A Module definition 'ODDR2' of instance 'oddr11' is not found in the design
[81] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 61 N.A Module definition 'IDDR2' of instance 'iddr1' is not found in the design
[82] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 212 N.A Module definition 'ODDR2' of instance 'oddr12' is not found in the design
[83] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 226 N.A Module definition 'ODDR2' of instance 'oddr13' is not found in the design
[84] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 76 N.A Module definition 'IDDR2' of instance 'iddr2' is not found in the design
[85] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 240 N.A Module definition 'ODDR2' of instance 'oddr14' is not found in the design
[86] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 91 N.A Module definition 'IDDR2' of instance 'iddr3' is not found in the design
[87] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 254 N.A Module definition 'ODDR2' of instance 'oddr15' is not found in the design
[88] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 268 N.A Module definition 'ODDR2' of instance 'oddr16' is not found in the design
[89] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 106 N.A Module definition 'IDDR2' of instance 'iddr4' is not found in the design
[90] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 282 N.A Module definition 'ODDR2' of instance 'oddr17' is not found in the design
[91] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 121 N.A Module definition 'IDDR2' of instance 'iddr5' is not found in the design
[92] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 296 N.A Module definition 'ODDR2' of instance 'oddr18' is not found in the design
[93] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 136 N.A Module definition 'IDDR2' of instance 'iddr6' is not found in the design
[94] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 310 N.A Module definition 'ODDR2' of instance 'oddr19' is not found in the design
[95] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 324 N.A Module definition 'ODDR2' of instance 'oddr20' is not found in the design
[96] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 151 N.A Module definition 'IDDR2' of instance 'iddr7' is not found in the design
[97] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 338 N.A Module definition 'ODDR2' of instance 'oddr21' is not found in the design
[98] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 166 N.A Module definition 'IDDR2' of instance 'iddr8' is not found in the design
[99] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 352 N.A Module definition 'ODDR2' of instance 'oddr22' is not found in the design
[100] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 366 N.A Module definition 'ODDR2' of instance 'oddr23' is not found in the design
[101] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 181 N.A Module definition 'IDDR2' of instance 'iddr9' is not found in the design
[102] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 380 N.A Module definition 'ODDR2' of instance 'oddr24' is not found in the design
[103] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 196 N.A Module definition 'IDDR2' of instance 'iddr10' is not found in the design
[104] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 394 N.A Module definition 'ODDR2' of instance 'oddr25' is not found in the design
[105] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 211 N.A Module definition 'IDDR2' of instance 'iddr11' is not found in the design
[106] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 408 N.A Module definition 'ODDR2' of instance 'oddr26' is not found in the design
[107] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 422 N.A Module definition 'ODDR2' of instance 'oddr27' is not found in the design
[108] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 226 N.A Module definition 'IDDR2' of instance 'iddr12' is not found in the design
[109] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 436 N.A Module definition 'ODDR2' of instance 'oddr28' is not found in the design
[110] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 241 N.A Module definition 'IDDR2' of instance 'iddr13' is not found in the design
[111] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 450 N.A Module definition 'ODDR2' of instance 'oddr29' is not found in the design
[112] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 256 N.A Module definition 'IDDR2' of instance 'iddr14' is not found in the design
[113] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 464 N.A Module definition 'ODDR2' of instance 'oddr30' is not found in the design
[114] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr32.v 478 N.A Module definition 'ODDR2' of instance 'oddr31' is not found in the design
[115] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 271 N.A Module definition 'IDDR2' of instance 'iddr15' is not found in the design
[116] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 286 N.A Module definition 'IDDR2' of instance 'iddr16' is not found in the design
[117] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 301 N.A Module definition 'IDDR2' of instance 'iddr17' is not found in the design
[118] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 316 N.A Module definition 'IDDR2' of instance 'iddr18' is not found in the design
[119] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 331 N.A Module definition 'IDDR2' of instance 'iddr19' is not found in the design
[120] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 346 N.A Module definition 'IDDR2' of instance 'iddr20' is not found in the design
[121] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 361 N.A Module definition 'IDDR2' of instance 'iddr21' is not found in the design
[122] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 376 N.A Module definition 'IDDR2' of instance 'iddr22' is not found in the design
[123] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 391 N.A Module definition 'IDDR2' of instance 'iddr23' is not found in the design
[124] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 406 N.A Module definition 'IDDR2' of instance 'iddr24' is not found in the design
[125] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 421 N.A Module definition 'IDDR2' of instance 'iddr25' is not found in the design
[126] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 436 N.A Module definition 'IDDR2' of instance 'iddr26' is not found in the design
[127] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 451 N.A Module definition 'IDDR2' of instance 'iddr27' is not found in the design
[128] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 466 N.A Module definition 'IDDR2' of instance 'iddr28' is not found in the design
[129] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 481 N.A Module definition 'IDDR2' of instance 'iddr29' is not found in the design
[130] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 496 N.A Module definition 'IDDR2' of instance 'iddr30' is not found in the design
[131] SM_URMI N.A warning hpdmc/spartan6/hpdmc_iddr32.v 511 N.A Module definition 'IDDR2' of instance 'iddr31' is not found in the design
[133] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr4.v 44 N.A Module definition 'ODDR2' of instance 'oddr0' is not found in the design
[134] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr4.v 58 N.A Module definition 'ODDR2' of instance 'oddr1' is not found in the design
[135] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr4.v 72 N.A Module definition 'ODDR2' of instance 'oddr2' is not found in the design
[136] SM_URMI N.A warning hpdmc/spartan6/hpdmc_oddr4.v 86 N.A Module definition 'ODDR2' of instance 'oddr3' is not found in the design
[139] SM_URMI N.A warning hpdmc/spartan6/hpdmc_obuft4.v 31 N.A Module definition 'OBUFT' of instance 'obuft0' is not found in the design
[140] SM_URMI N.A warning hpdmc/spartan6/hpdmc_obuft4.v 36 N.A Module definition 'OBUFT' of instance 'obuft1' is not found in the design
[141] SM_URMI N.A warning hpdmc/spartan6/hpdmc_obuft4.v 41 N.A Module definition 'OBUFT' of instance 'obuft2' is not found in the design
[142] SM_URMI N.A warning hpdmc/spartan6/hpdmc_obuft4.v 46 N.A Module definition 'OBUFT' of instance 'obuft3' is not found in the design
[132] SM_IGN_INITIAL N.A warning rs_dec_full/DP_RAM.v 33 N.A Initial block is ignored for synthesis
[137] SM_IGN_INITIAL N.A warning rs_dec_full/GF_matrix_ascending_binary.v 29 N.A Initial block is ignored for synthesis
[138] SM_IGN_INITIAL N.A warning rs_dec_full/GF_matrix_dec.v 30 N.A Initial block is ignored for synthesis
[30] SM_IGN_IAD N.A warning rs_dec_full/RS_dec.v 560 N.A Initial Assignment at Declaration for "state" is ignored by synthesis
[33] SM_IGN_IAD N.A warning rs_dec_full/error_correction.v 103 N.A Initial Assignment at Declaration for "state" is ignored by synthesis
[34] SM_IGN_IAD N.A warning rs_dec_full/Omega_Phy.v 82 N.A Initial Assignment at Declaration for "state" is ignored by synthesis
[35] SM_IGN_IAD N.A warning rs_dec_full/BM_lamda.v 77 N.A Initial Assignment at Declaration for "Step" is ignored by synthesis
[24] IWNF N.A warning top.v 240 N.A Implicit wire 'valid_out' does not have any driver, please make sure this is intended.
[20] TFIPC N.A warning fft256/fft16.v 270 N.A FFT16, "MPUC707 #((nb + 3)) UM707( .CLK (CLK), .EI (ED), .ED (em707), .MPYJ (mpyj7), .DR (m70r), .DI (m70i), .DOR (m707r), .DOI (m707i));" The above instance has fewer port connections than the module definition. Please use '+lint=TFIPC-L' to print out detailed information of unconnected ports.
[21] TFIPC N.A warning fft256/fft16.v 428 N.A FFT16, "MPUC541 #((nb + 3)) UM541( .CLK (CLK), .EI (ED), .ED (em541), .MPYJ (mpyj541), .DR (s7r), .DI (s7i), .DOR (m541r), .DOI (m541i));" The above instance has fewer port connections than the module definition. Please use '+lint=TFIPC-L' to print out detailed information of unconnected ports.
[22] TFIPC N.A warning fft256/fft16.v 436 N.A FFT16, "MPUC1307 #((nb + 3)) UM1307( .CLK (CLK), .EI (ED), .ED (em1307), .MPYJ (mpyj1307), .DR (s7r), .DI (s7i), .DOR (m1307r), .DOI (m1307i));" The above instance has fewer port connections than the module definition. Please use '+lint=TFIPC-L' to print out detailed information of unconnected ports.
[23] TFIPC N.A warning fft256/fft16.v 444 N.A FFT16, "MPUC924_383 #((nb + 3)) UM383( .CLK (CLK), .EI (ED), .ED (em383), .MPYJ (mpyj383), .C383 (c383), .DR (s7r), .DI (s7i), .DOR (m383r), .DOI (m383i));" The above instance has fewer port connections than the module definition. Please use '+lint=TFIPC-L' to print out detailed information of unconnected ports.
[25] PCWM-W N.A warning top.v 322 N.A "bubble_sort Ububble_sort( .out1 (out1[15:0]), .out2 (out2[15:0]), .out3 (out3[15:0]), .out4 (out4[15:0]), .out5 (out5[15:0]), .bsortclk (bsortclk), .in1 (((in1[15:0] & prng_data[15:0]) & z[15:0])), .in2 ((in2[15:0] & prng_data[31:16])), .in3 ((in3[15:0] ^ (coeff_combined[31:16] & z[31:16]))), .in4 ((in4[15:0] ^ coeff_combined[23:8])), .in5 ((in5[15:0] && coeff_combined[15:0])));" The following 1-bit expression is connected to 16-bit port "in5" of module "bubble_sort", instance "Ububble_sort". Expression: (in5[15:0] && coeff_combined[15:0]) Instantiated module defined at: "bubble_sort/bubble_sort.v", 8 Use +lint=PCWM for more details.
[26] PCWM-W N.A warning fft256/fft16.v 436 N.A "MPUC1307 #((nb + 3)) UM1307( .CLK (CLK), .EI (ED), .ED (em1307), .MPYJ (mpyj1307), .DR (s7r), .DI (s7i), .DOR (m1307r), .DOI (m1307i));" The following 13-bit expression is connected to 14-bit port "DOR" of module "MPUC1307", instance "UM1307". Expression: m1307r Instantiated module defined at: "fft256/mpuc1307.v", 53 Use +lint=PCWM for more details.
[27] PCWM-W N.A warning fft256/fft16.v 436 N.A "MPUC1307 #((nb + 3)) UM1307( .CLK (CLK), .EI (ED), .ED (em1307), .MPYJ (mpyj1307), .DR (s7r), .DI (s7i), .DOR (m1307r), .DOI (m1307i));" The following 13-bit expression is connected to 14-bit port "DOI" of module "MPUC1307", instance "UM1307". Expression: m1307i Instantiated module defined at: "fft256/mpuc1307.v", 53 Use +lint=PCWM for more details.
[28] PCWM-W N.A warning fft256/fft16.v 436 N.A "MPUC1307 #((nb + 3)) UM1307( .CLK (CLK), .EI (ED), .ED (em1307), .MPYJ (mpyj1307), .DR (s7r), .DI (s7i), .DOR (m1307r), .DOI (m1307i));" The following 15-bit expression is connected to 16-bit port "DOR" of module "MPUC1307", instance "UM1307". Expression: m1307r Instantiated module defined at: "fft256/mpuc1307.v", 53 Use +lint=PCWM for more details.
[29] PCWM-W N.A warning fft256/fft16.v 436 N.A "MPUC1307 #((nb + 3)) UM1307( .CLK (CLK), .EI (ED), .ED (em1307), .MPYJ (mpyj1307), .DR (s7r), .DI (s7i), .DOR (m1307r), .DOI (m1307i));" The following 15-bit expression is connected to 16-bit port "DOI" of module "MPUC1307", instance "UM1307". Expression: m1307i Instantiated module defined at: "fft256/mpuc1307.v", 53 Use +lint=PCWM for more details.
[16] EPIMD N.A warning fft256/mpuc1307.v 53 N.A There is empty port specified in module declaration.
[17] EPIMD N.A warning fft256/mpuc541.v 53 N.A There is empty port specified in module declaration.
[18] EPIMD N.A warning fft256/mpuc707.v 52 N.A There is empty port specified in module declaration.
[19] EPIMD N.A warning fft256/mpuc924_383.v 53 N.A There is empty port specified in module declaration.
[1] IRIID-W N.A warning top.v 175 N.A Range in first declaration for identifier 'coeff_8' mismatches with the range in IO declaration. The first range declaration is ignored
[2] IRIID-W N.A warning top.v 175 N.A Range in first declaration for identifier 'coeff_7' mismatches with the range in IO declaration. The first range declaration is ignored
[3] IRIID-W N.A warning top.v 175 N.A Range in first declaration for identifier 'coeff_6' mismatches with the range in IO declaration. The first range declaration is ignored
[4] IRIID-W N.A warning top.v 175 N.A Range in first declaration for identifier 'coeff_5' mismatches with the range in IO declaration. The first range declaration is ignored
[5] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_4' mismatches with the range in IO declaration. The first range declaration is ignored
[6] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_3' mismatches with the range in IO declaration. The first range declaration is ignored
[7] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_2' mismatches with the range in IO declaration. The first range declaration is ignored
[8] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_15' mismatches with the range in IO declaration. The first range declaration is ignored
[9] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_14' mismatches with the range in IO declaration. The first range declaration is ignored
[10] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_13' mismatches with the range in IO declaration. The first range declaration is ignored
[11] IRIID-W N.A warning top.v 176 N.A Range in first declaration for identifier 'coeff_12' mismatches with the range in IO declaration. The first range declaration is ignored
[12] IRIID-W N.A warning top.v 177 N.A Range in first declaration for identifier 'coeff_11' mismatches with the range in IO declaration. The first range declaration is ignored
[13] IRIID-W N.A warning top.v 177 N.A Range in first declaration for identifier 'coeff_10' mismatches with the range in IO declaration. The first range declaration is ignored
[14] IRIID-W N.A warning top.v 177 N.A Range in first declaration for identifier 'coeff_1' mismatches with the range in IO declaration. The first range declaration is ignored
[15] IRIID-W N.A warning top.v 177 N.A Range in first declaration for identifier 'coeff_0' mismatches with the range in IO declaration. The first range declaration is ignored
[149] VC_SYNTH_INITIAL_IGNORED N.A warning rs_dec_full/RS_dec.v 560 N.A Initial Assignment at Declaration for ( state ) is ignored by synthesis
[150] VC_SYNTH_INITIAL_IGNORED N.A warning rs_dec_full/BM_lamda.v 77 N.A Initial Assignment at Declaration for ( Step ) is ignored by synthesis
[151] VC_SYNTH_INITIAL_IGNORED N.A warning rs_dec_full/Omega_Phy.v 82 N.A Initial Assignment at Declaration for ( state ) is ignored by synthesis
[152] VC_SYNTH_INITIAL_IGNORED N.A warning rs_dec_full/error_correction.v 103 N.A Initial Assignment at Declaration for ( state ) is ignored by synthesis
[31] SM_BB_USER N.A info N.A. N.A. N.A Module 'openfire_soc' is user blackboxed.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
############### BuiltIn -> RuleGroup=SETUP Checks###############
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID Rule Alias Severity File Line Wt Message
============================================================================================================================================================================================================================================================
[1] COM_OPT009 N.A warning N.A. N.A. N.A 'search_path' has not been set.
[2] COM_OPT010 N.A warning N.A. N.A. N.A 'link_library' has not been set.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
############### Non-BuiltIn -> Goal=lint/lint_rtl###############
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ID Rule Alias Severity File Line Wt Message
============================================================================================================================================================================================================================================================
[220] W336 N.A error hpdmc/hpdmc_mgmt.v 83 10 Blocking assignment 'has_openrow = 4'h0;' used inside a 'FlipFlop' inferred sequential block
[221] W336 N.A error hpdmc/hpdmc_mgmt.v 85 10 Blocking assignment 'has_openrow = ((has_openrow | track_open) & (~track_close));' used inside a 'FlipFlop' inferred sequential block
[222] W336 N.A error fft256/ram2x256.v 129 10 Blocking assignment 'doi = ram[read_addra];' used inside a 'FlipFlop' inferred sequential block
[223] W336 N.A error hpdmc/hpdmc_busif.v 49 10 Blocking assignment 'mgmt_stb_en = 1'b1;' used inside a 'FlipFlop' inferred sequential block
[224] W336 N.A error hpdmc/hpdmc_busif.v 52 10 Blocking assignment 'mgmt_stb_en = 1'b0;' used inside a 'FlipFlop' inferred sequential block
[225] W336 N.A error hpdmc/hpdmc_busif.v 54 10 Blocking assignment 'mgmt_stb_en = 1'b1;' used inside a 'FlipFlop' inferred sequential block
[12] UndrivenInTerm-ML N.A error top.v 235 10 Detected undriven input terminal top.Uopenfire_soc.ram2_io[15:0] of Grey Box
[13] UndrivenInTerm-ML N.A error top.v 234 10 Detected undriven input terminal top.Uopenfire_soc.ram1_io[15:0] of Grey Box
[14] UndrivenInTerm-ML N.A error top.v 79 10 Detected undriven input terminal top.valid_out
[15] UndrivenInTerm-ML N.A error top.v 285 10 Detected undriven input terminal top.Uhpdmc.sdram_dq[31:0]
[16] UndrivenInTerm-ML N.A error rs_dec_full/GF_matrix_ascending_binary.v 292 10 Detected undriven input terminal top.URS_dec.input_syndromes_unit.rom_instant.mem[255:0][7:0]
[17] UndrivenInTerm-ML N.A error top.v 56 10 Detected undriven input terminal top.coeff_1[31:9]
[18] UndrivenInTerm-ML N.A error rs_dec_full/GF_matrix_dec.v 293 10 Detected undriven input terminal top.URS_dec.input_syndromes_unit.unit0.rom_instant.mem[255:0][7:0]
[19] W110 N.A error top.v 336 10 Incompatible width for port 'in5'(width 16 in module 'bubble_sort') on instance 'Ububble_sort'(actual width 1) [Hierarchy: ':top']
[194] W110 N.A error fft256/fft16.v 437 10 Incompatible width for port 'DOR'(width 14 in module 'MPUC1307') on instance 'UM1307'(actual width 13) [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16']
[195] W110 N.A error fft256/fft16.v 437 10 Incompatible width for port 'DOI'(width 14 in module 'MPUC1307') on instance 'UM1307'(actual width 13) [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16']
[207] W110 N.A error fft256/fft16.v 437 10 Incompatible width for port 'DOR'(width 16 in module 'MPUC1307') on instance 'UM1307'(actual width 15) [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16']
[208] W110 N.A error fft256/fft16.v 437 10 Incompatible width for port 'DOI'(width 16 in module 'MPUC1307') on instance 'UM1307'(actual width 15) [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16']
[226] PrjToTclSummary N.A warning test.prj 1 N.A PrjToTcl Warning: Skipped option 'template_info' in Spyglass compatibility mode lint/lint_rtl
[227] PrjToTclSummary N.A warning test.prj 1 N.A PrjToTcl Warning: Skipped option 'overloadrules' in Spyglass compatibility mode lint/lint_rtl
[228] PrjToTclSummary N.A warning test.prj 1 N.A PrjToTcl Warning: Skipped option 'template' in Spyglass compatibility mode lint/lint_rtl
[229] PrjToTclSummary N.A warning test.prj 1 N.A PrjToTcl Warning: Skipped option 'mthresh 15000' in Spyglass compatibility mode lint/lint_rtl
[1] STARC05-1.3.1.3 AsyncResetOtherUse warning rs_dec_full/RS_dec.v 566 10 Asynchronous reset signal 'top.reset' (flop: 'top.URS_dec.R_flag') used as non-reset/synchronous-reset at instance 'top.Ukeccak.out_ready.D' (File Name: 'sha3/keccak.v' ,Line no.: '86')
[2] FlopEConst N.A warning rs_dec_full/BM_lamda.v 145 10 Enable pin EN on Flop top.URS_dec.BM_lamda_unit.e_cnt[0] (master RTL_FDCE) is always disabled (tied low)(connected to top.URS_dec.VSS)
[3] FlopEConst N.A warning rs_dec_full/GF_matrix_ascending_binary.v 292 10 Enable pin EN on Flop top.URS_dec.power_rom_instant1.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[4] FlopEConst N.A warning rs_dec_full/GF_matrix_ascending_binary.v 292 10 Enable pin EN on Flop top.URS_dec.power_rom_instant2.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[5] FlopEConst N.A warning rs_dec_full/GF_matrix_ascending_binary.v 292 10 Enable pin EN on Flop top.URS_dec.power_rom_instant3.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[6] FlopEConst N.A warning rs_dec_full/GF_matrix_ascending_binary.v 292 10 Enable pin EN on Flop top.URS_dec.power_rom_instant4.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[7] FlopEConst N.A warning rs_dec_full/GF_matrix_dec.v 293 10 Enable pin EN on Flop top.URS_dec.rom_instant_1.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[8] FlopEConst N.A warning rs_dec_full/GF_matrix_dec.v 293 10 Enable pin EN on Flop top.URS_dec.rom_instant_2.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[9] FlopEConst N.A warning rs_dec_full/GF_matrix_dec.v 293 10 Enable pin EN on Flop top.URS_dec.rom_instant_3.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[10] FlopEConst N.A warning rs_dec_full/GF_matrix_dec.v 293 10 Enable pin EN on Flop top.URS_dec.rom_instant_4.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.VCC)
[11] FlopEConst N.A warning rs_dec_full/GF_matrix_ascending_binary.v 292 10 Enable pin EN on Flop top.URS_dec.input_syndromes_unit.rom_instant.data_out[7:0] (master RTL_FDE) is always enabled (tied high)(connected to top.URS_dec.input_syndromes_unit.VCC)
[25] STARC05-2.11.3.1 SepStateNextLogic warning cavlc/cavlc_fsm.v 96 10 Combinational and sequential parts of an FSM 'cavlc_fsm.state' described in same always block
[40] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/RS_dec.v 600 10 Combinational and sequential parts of an FSM 'RS_dec.state' described in same always block
[71] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/transport_in2out.v 61 10 Combinational and sequential parts of an FSM 'transport_in2out.state' described in same always block
[72] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/BM_lamda.v 128 10 Combinational and sequential parts of an FSM 'BM_lamda.Step' described in same always block
[163] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/Omega_Phy.v 153 10 Combinational and sequential parts of an FSM 'Omega_Phy.state' described in same always block
[164] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/error_correction.v 193 10 Combinational and sequential parts of an FSM 'error_correction.state' described in same always block
[167] STARC05-2.11.3.1 SepStateNextLogic warning rs_dec_full/out_stage.v 88 10 Combinational and sequential parts of an FSM 'out_stage.state' described in same always block
[33] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 584 5 Flipflop 'T_flag' is assigned over the same signal in an always construct for sequential circuits (at line '579')
[34] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 590 5 Flipflop 'out_flag' is assigned over the same signal in an always construct for sequential circuits (at line '588')
[35] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 597 5 Flipflop 'DONE_ext' is assigned over the same signal in an always construct for sequential circuits (at line '594')
[36] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 854 5 Flipflop 'RE1' is assigned over the same signal in an always construct for sequential circuits (at line '838')
[37] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 855 5 Flipflop 'R_Add1' is assigned over the same signal in an always construct for sequential circuits (at line '839')
[38] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 860 5 Flipflop 'RE2' is assigned over the same signal in an always construct for sequential circuits (at line '844')
[39] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/RS_dec.v 861 5 Flipflop 'R_Add2' is assigned over the same signal in an always construct for sequential circuits (at line '845')
[47] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 385 5 Flipflop 'count_in' is assigned over the same signal in an always construct for sequential circuits (at line '379')
[48] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 386 5 Flipflop 'CE_GF_mult_add' is assigned over the same signal in an always construct for sequential circuits (at line '378')
[49] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 389 5 Flipflop 'count_in' is assigned over the same signal in an always construct for sequential circuits (at line '379')
[50] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 465 5 Flipflop 'cnt8' is assigned over the same signal in an always construct for sequential circuits (at line '460')
[51] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 468 5 Flipflop 'cnt8' is assigned over the same signal in an always construct for sequential circuits (at line '460')
[52] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/input_syndromes.v 483 5 Flipflop 'S_Ready' is assigned over the same signal in an always construct for sequential circuits (at line '478')
[62] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 146 5 Flipflop 'S_Ready' is assigned over the same signal in an always construct for sequential circuits (at line '133')
[63] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 149 5 Flipflop 'xor_reg0' is assigned over the same signal in an always construct for sequential circuits (at line '123')
[64] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 163 5 Flipflop 'xor_reg1' is assigned over the same signal in an always construct for sequential circuits (at line '124')
[65] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 177 5 Flipflop 'xor_reg2' is assigned over the same signal in an always construct for sequential circuits (at line '125')
[66] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 191 5 Flipflop 'xor_reg3' is assigned over the same signal in an always construct for sequential circuits (at line '126')
[67] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 205 5 Flipflop 'xor_reg4' is assigned over the same signal in an always construct for sequential circuits (at line '119')
[68] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 219 5 Flipflop 'xor_reg5' is assigned over the same signal in an always construct for sequential circuits (at line '120')
[69] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 233 5 Flipflop 'xor_reg6' is assigned over the same signal in an always construct for sequential circuits (at line '121')
[70] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/GF_mult_add_syndromes.v 247 5 Flipflop 'xor_reg7' is assigned over the same signal in an always construct for sequential circuits (at line '122')
[117] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 144 5 Flipflop 'cnt9' is assigned over the same signal in an always construct for sequential circuits (at line '139')
[118] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 147 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[119] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 148 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[120] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 149 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[121] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 149 5 Flipflop 'L2' is assigned over the same signal in an always construct for sequential circuits (at line '137')
[122] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 150 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[123] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 150 5 Flipflop 'L3' is assigned over the same signal in an always construct for sequential circuits (at line '137')
[124] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 151 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[125] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 151 5 Flipflop 'L4' is assigned over the same signal in an always construct for sequential circuits (at line '137')
[126] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 152 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[127] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 152 5 Flipflop 'L5' is assigned over the same signal in an always construct for sequential circuits (at line '138')
[128] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 153 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[129] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 153 5 Flipflop 'L6' is assigned over the same signal in an always construct for sequential circuits (at line '138')
[130] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 154 5 Flipflop 'L7' is assigned over the same signal in an always construct for sequential circuits (at line '138')
[131] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 156 5 Flipflop 'L8' is assigned over the same signal in an always construct for sequential circuits (at line '138')
[132] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 156 5 Flipflop 'one' is assigned over the same signal in an always construct for sequential circuits (at line '134')
[133] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 165 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[134] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 175 5 Flipflop 'add_GF_ascending' is assigned over the same signal in an always construct for sequential circuits (at line '136')
[135] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 249 5 Flipflop 'X0' is assigned over the same signal in an always construct for sequential circuits (at line '158')
[136] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 250 5 Flipflop 'GF1' is assigned over the same signal in an always construct for sequential circuits (at line '159')
[137] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 251 5 Flipflop 'GF2' is assigned over the same signal in an always construct for sequential circuits (at line '159')
[138] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 254 5 Flipflop 'X1' is assigned over the same signal in an always construct for sequential circuits (at line '158')
[139] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 255 5 Flipflop 'GF3' is assigned over the same signal in an always construct for sequential circuits (at line '159')
[140] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 256 5 Flipflop 'GF4' is assigned over the same signal in an always construct for sequential circuits (at line '159')
[141] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 257 5 Flipflop 'GF5' is assigned over the same signal in an always construct for sequential circuits (at line '160')
[142] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 260 5 Flipflop 'X2' is assigned over the same signal in an always construct for sequential circuits (at line '158')
[143] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 261 5 Flipflop 'GF6' is assigned over the same signal in an always construct for sequential circuits (at line '160')
[144] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 262 5 Flipflop 'GF7' is assigned over the same signal in an always construct for sequential circuits (at line '160')
[145] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 263 5 Flipflop 'GF8' is assigned over the same signal in an always construct for sequential circuits (at line '160')
[146] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 266 5 Flipflop 'X3' is assigned over the same signal in an always construct for sequential circuits (at line '158')
[147] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 271 5 Flipflop 'root_cnt' is assigned over the same signal in an always construct for sequential circuits (at line '156')
[148] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 278 5 Flipflop 'yes' is assigned over the same signal in an always construct for sequential circuits (at line '272')
[149] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 280 5 Flipflop 'r1' is assigned over the same signal in an always construct for sequential circuits (at line '161')
[150] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 281 5 Flipflop 'r2' is assigned over the same signal in an always construct for sequential circuits (at line '161')
[151] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 282 5 Flipflop 'r3' is assigned over the same signal in an always construct for sequential circuits (at line '161')
[152] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 283 5 Flipflop 'r4' is assigned over the same signal in an always construct for sequential circuits (at line '161')
[153] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 284 5 Flipflop 'r5' is assigned over the same signal in an always construct for sequential circuits (at line '162')
[154] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 285 5 Flipflop 'r6' is assigned over the same signal in an always construct for sequential circuits (at line '162')
[155] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 286 5 Flipflop 'r7' is assigned over the same signal in an always construct for sequential circuits (at line '162')
[156] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 287 5 Flipflop 'r8' is assigned over the same signal in an always construct for sequential circuits (at line '162')
[157] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 295 5 Flipflop 'two' is assigned over the same signal in an always construct for sequential circuits (at line '156')
[158] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 302 5 Flipflop 'E' is assigned over the same signal in an always construct for sequential circuits (at line '297')
[159] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 310 5 Flipflop 'chk_cnt' is assigned over the same signal in an always construct for sequential circuits (at line '163')
[160] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 311 5 Flipflop 'chk_flag' is assigned over the same signal in an always construct for sequential circuits (at line '163')
[161] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 314 5 Flipflop 'chk_cnt' is assigned over the same signal in an always construct for sequential circuits (at line '163')
[162] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/lamda_roots.v 319 5 Flipflop 'CEO' is assigned over the same signal in an always construct for sequential circuits (at line '296')
[166] STARC05-2.2.3.3 InitValUsingNBA warning rs_dec_full/out_stage.v 123 5 Flipflop 'F' is assigned over the same signal in an always construct for sequential circuits (at line '115')
[187] STARC05-2.2.3.3 InitValUsingNBA warning hpdmc/hpdmc_busif.v 54 5 Flipflop 'mgmt_stb_en' is assigned over the same signal in an always construct for sequential circuits (at line '52')
[22] STARC05-2.1.4.5 NoLogicalOpOnMultBit warning top.v 336 5 Use bit-wise operator instead of logical operator '&&' in expression '(in5[15:0] &&coeff_combined[15:0] )'
[23] NoAssignX-ML N.A warning cavlc/cavlc_read_levels.v 157 5 RHS of the assignment contains 'X'(Reason : Assigned with 'x' in assignment)
[168] W528 N.A warning sha3/keccak.v 92 10 Variable 'f_out_ready' set but not read.[Hierarchy: ':top:Ukeccak@keccak']
[193] W528 N.A warning fft256/ram2x256.v 85 10 Variable 'odd2' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_BUF1@BUFRAM256C:URAM@RAM2x256C']
[201] W528 N.A warning fft256/mpuc541.v 95 10 Variable 'dx3[13:0]' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM541@MPUC541']
[205] W528 N.A warning fft256/mpuc924_383.v 97 10 Variable 'c3d3' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM383@MPUC924_383']
[206] W528 N.A warning fft256/ram2x256.v 85 10 Variable 'odd2' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_BUF2@BUFRAM256C:URAM@RAM2x256C']
[213] W528 N.A warning fft256/mpuc541.v 95 10 Variable 'dx3[15:0]' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM541@MPUC541']
[217] W528 N.A warning fft256/mpuc924_383.v 97 10 Variable 'c3d3' set but not read.[Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM383@MPUC924_383']
[218] W528 N.A warning fft256/ram2x256.v 85 10 Variable 'odd2' set but not read.[Hierarchy: ':top:Ufft256@fft256:Ubuf3@BUFRAM256C:URAM@RAM2x256C']
[46] W287b N.A warning rs_dec_full/input_syndromes.v 357 5 Instance output port 'S_Ready' is not connected
[21] W287a N.A warning top.v 346 5 Input 'b[15:2, 0]' of instance 'Uwaj1' is undriven.[Hierarchy: ':top']
[188] W240 N.A warning hpdmc/hpdmc_banktimer.v 22 10 Input 'tim_cas' declared but not read.[Hierarchy: ':top:Uhpdmc@hpdmc:datactl@hpdmc_datactl:banktimer0@hpdmc_banktimer']
[189] W240 N.A warning hpdmc/spartan6/hpdmc_ddrio.v 24 10 Input 'direction' declared but not read.[Hierarchy: ':top:Uhpdmc@hpdmc:ddrio@hpdmc_ddrio']
[190] W240 N.A warning hpdmc/spartan6/hpdmc_ddrio.v 35 10 Input 'idelay_ce' declared but not read.[Hierarchy: ':top:Uhpdmc@hpdmc:ddrio@hpdmc_ddrio']
[191] W240 N.A warning hpdmc/spartan6/hpdmc_ddrio.v 36 10 Input 'idelay_inc' declared but not read.[Hierarchy: ':top:Uhpdmc@hpdmc:ddrio@hpdmc_ddrio']
[192] W240 N.A warning hpdmc/spartan6/hpdmc_ddrio.v 34 10 Input 'idelay_rst' declared but not read.[Hierarchy: ':top:Uhpdmc@hpdmc:ddrio@hpdmc_ddrio']
[198] W486 N.A warning fft256/mpuc707.v 100 10 Rhs width '17' with shift (Expr: '(dot >>> 4)') is more than lhs width '13' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM707@MPUC707']
[199] W486 N.A warning fft256/mpuc541.v 104 10 Rhs width '15' with shift (Expr: '(dot >>> 2)') is more than lhs width '13' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM541@MPUC541']
[202] W486 N.A warning fft256/mpuc1307.v 104 10 Rhs width '17' with shift (Expr: '(dot >>> 3)') is more than lhs width '14' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM1307@MPUC1307']
[203] W486 N.A warning fft256/mpuc924_383.v 109 10 Rhs width '15' with shift (Expr: '(dot >>> 2)') is more than lhs width '13' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM383@MPUC924_383']
[204] W486 N.A warning fft256/mpuc924_383.v 110 10 Rhs width '15' with shift (Expr: '(dot >>> 2)') is more than lhs width '13' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16:UM383@MPUC924_383']
[211] W486 N.A warning fft256/mpuc707.v 100 10 Rhs width '19' with shift (Expr: '(dot >>> 4)') is more than lhs width '15' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM707@MPUC707']
[212] W486 N.A warning fft256/mpuc541.v 104 10 Rhs width '17' with shift (Expr: '(dot >>> 2)') is more than lhs width '15' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM541@MPUC541']
[214] W486 N.A warning fft256/mpuc1307.v 104 10 Rhs width '19' with shift (Expr: '(dot >>> 3)') is more than lhs width '16' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM1307@MPUC1307']
[215] W486 N.A warning fft256/mpuc924_383.v 109 10 Rhs width '17' with shift (Expr: '(dot >>> 2)') is more than lhs width '15' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM383@MPUC924_383']
[216] W486 N.A warning fft256/mpuc924_383.v 110 10 Rhs width '17' with shift (Expr: '(dot >>> 2)') is more than lhs width '15' (Expr: 'doo'), this may cause overflow [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16:UM383@MPUC924_383']
[26] W415a N.A warning rs_dec_full/RS_dec.v 584 5 Signal T_flag is being assigned multiple times ( previous assignment at line 579 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[27] W415a N.A warning rs_dec_full/RS_dec.v 590 5 Signal out_flag is being assigned multiple times ( previous assignment at line 588 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[28] W415a N.A warning rs_dec_full/RS_dec.v 597 5 Signal DONE_ext is being assigned multiple times ( previous assignment at line 594 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[29] W415a N.A warning rs_dec_full/RS_dec.v 854 5 Signal RE1 is being assigned multiple times ( previous assignment at line 838 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[30] W415a N.A warning rs_dec_full/RS_dec.v 855 5 Signal R_Add1 is being assigned multiple times ( previous assignment at line 839 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[31] W415a N.A warning rs_dec_full/RS_dec.v 860 5 Signal RE2 is being assigned multiple times ( previous assignment at line 844 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[32] W415a N.A warning rs_dec_full/RS_dec.v 861 5 Signal R_Add2 is being assigned multiple times ( previous assignment at line 845 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec']
[41] W415a N.A warning rs_dec_full/input_syndromes.v 385 5 Signal count_in is being assigned multiple times ( previous assignment at line 379 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes']
[42] W415a N.A warning rs_dec_full/input_syndromes.v 389 5 Signal count_in is being assigned multiple times ( previous assignment at line 379 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes']
[43] W415a N.A warning rs_dec_full/input_syndromes.v 465 5 Signal cnt8 is being assigned multiple times ( previous assignment at line 460 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes']
[44] W415a N.A warning rs_dec_full/input_syndromes.v 468 5 Signal cnt8 is being assigned multiple times ( previous assignment at line 460 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes']
[45] W415a N.A warning rs_dec_full/input_syndromes.v 483 5 Signal S_Ready is being assigned multiple times ( previous assignment at line 478 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes']
[53] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 146 5 Signal S_Ready is being assigned multiple times ( previous assignment at line 133 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[54] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 149 5 Signal xor_reg0 is being assigned multiple times ( previous assignment at line 123 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[55] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 163 5 Signal xor_reg1 is being assigned multiple times ( previous assignment at line 124 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[56] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 177 5 Signal xor_reg2 is being assigned multiple times ( previous assignment at line 125 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[57] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 191 5 Signal xor_reg3 is being assigned multiple times ( previous assignment at line 126 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[58] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 205 5 Signal xor_reg4 is being assigned multiple times ( previous assignment at line 119 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[59] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 219 5 Signal xor_reg5 is being assigned multiple times ( previous assignment at line 120 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[60] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 233 5 Signal xor_reg6 is being assigned multiple times ( previous assignment at line 121 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[61] W415a N.A warning rs_dec_full/GF_mult_add_syndromes.v 247 5 Signal xor_reg7 is being assigned multiple times ( previous assignment at line 122 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:input_syndromes_unit@input_syndromes:unit0@GF_mult_add_syndromes']
[73] W415a N.A warning rs_dec_full/lamda_roots.v 144 5 Signal cnt9 is being assigned multiple times ( previous assignment at line 139 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[74] W415a N.A warning rs_dec_full/lamda_roots.v 147 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[75] W415a N.A warning rs_dec_full/lamda_roots.v 148 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[76] W415a N.A warning rs_dec_full/lamda_roots.v 149 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[77] W415a N.A warning rs_dec_full/lamda_roots.v 149 5 Signal L2 is being assigned multiple times ( previous assignment at line 137 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[78] W415a N.A warning rs_dec_full/lamda_roots.v 150 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[79] W415a N.A warning rs_dec_full/lamda_roots.v 150 5 Signal L3 is being assigned multiple times ( previous assignment at line 137 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[80] W415a N.A warning rs_dec_full/lamda_roots.v 151 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[81] W415a N.A warning rs_dec_full/lamda_roots.v 151 5 Signal L4 is being assigned multiple times ( previous assignment at line 137 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[82] W415a N.A warning rs_dec_full/lamda_roots.v 152 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[83] W415a N.A warning rs_dec_full/lamda_roots.v 152 5 Signal L5 is being assigned multiple times ( previous assignment at line 138 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[84] W415a N.A warning rs_dec_full/lamda_roots.v 153 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[85] W415a N.A warning rs_dec_full/lamda_roots.v 153 5 Signal L6 is being assigned multiple times ( previous assignment at line 138 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[86] W415a N.A warning rs_dec_full/lamda_roots.v 154 5 Signal L7 is being assigned multiple times ( previous assignment at line 138 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[87] W415a N.A warning rs_dec_full/lamda_roots.v 156 5 Signal L8 is being assigned multiple times ( previous assignment at line 138 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[88] W415a N.A warning rs_dec_full/lamda_roots.v 156 5 Signal one is being assigned multiple times ( previous assignment at line 134 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[89] W415a N.A warning rs_dec_full/lamda_roots.v 165 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[90] W415a N.A warning rs_dec_full/lamda_roots.v 175 5 Signal add_GF_ascending is being assigned multiple times ( previous assignment at line 136 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[91] W415a N.A warning rs_dec_full/lamda_roots.v 249 5 Signal X0 is being assigned multiple times ( previous assignment at line 158 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[92] W415a N.A warning rs_dec_full/lamda_roots.v 250 5 Signal GF1 is being assigned multiple times ( previous assignment at line 159 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[93] W415a N.A warning rs_dec_full/lamda_roots.v 251 5 Signal GF2 is being assigned multiple times ( previous assignment at line 159 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[94] W415a N.A warning rs_dec_full/lamda_roots.v 254 5 Signal X1 is being assigned multiple times ( previous assignment at line 158 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[95] W415a N.A warning rs_dec_full/lamda_roots.v 255 5 Signal GF3 is being assigned multiple times ( previous assignment at line 159 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[96] W415a N.A warning rs_dec_full/lamda_roots.v 256 5 Signal GF4 is being assigned multiple times ( previous assignment at line 159 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[97] W415a N.A warning rs_dec_full/lamda_roots.v 257 5 Signal GF5 is being assigned multiple times ( previous assignment at line 160 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[98] W415a N.A warning rs_dec_full/lamda_roots.v 260 5 Signal X2 is being assigned multiple times ( previous assignment at line 158 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[99] W415a N.A warning rs_dec_full/lamda_roots.v 261 5 Signal GF6 is being assigned multiple times ( previous assignment at line 160 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[100] W415a N.A warning rs_dec_full/lamda_roots.v 262 5 Signal GF7 is being assigned multiple times ( previous assignment at line 160 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[101] W415a N.A warning rs_dec_full/lamda_roots.v 263 5 Signal GF8 is being assigned multiple times ( previous assignment at line 160 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[102] W415a N.A warning rs_dec_full/lamda_roots.v 266 5 Signal X3 is being assigned multiple times ( previous assignment at line 158 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[103] W415a N.A warning rs_dec_full/lamda_roots.v 271 5 Signal root_cnt is being assigned multiple times ( previous assignment at line 156 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[104] W415a N.A warning rs_dec_full/lamda_roots.v 278 5 Signal yes is being assigned multiple times ( previous assignment at line 272 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[105] W415a N.A warning rs_dec_full/lamda_roots.v 280 5 Signal r1 is being assigned multiple times ( previous assignment at line 161 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[106] W415a N.A warning rs_dec_full/lamda_roots.v 281 5 Signal r2 is being assigned multiple times ( previous assignment at line 161 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[107] W415a N.A warning rs_dec_full/lamda_roots.v 282 5 Signal r3 is being assigned multiple times ( previous assignment at line 161 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[108] W415a N.A warning rs_dec_full/lamda_roots.v 283 5 Signal r4 is being assigned multiple times ( previous assignment at line 161 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[109] W415a N.A warning rs_dec_full/lamda_roots.v 284 5 Signal r5 is being assigned multiple times ( previous assignment at line 162 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[110] W415a N.A warning rs_dec_full/lamda_roots.v 285 5 Signal r6 is being assigned multiple times ( previous assignment at line 162 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[111] W415a N.A warning rs_dec_full/lamda_roots.v 286 5 Signal r7 is being assigned multiple times ( previous assignment at line 162 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[112] W415a N.A warning rs_dec_full/lamda_roots.v 287 5 Signal r8 is being assigned multiple times ( previous assignment at line 162 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[113] W415a N.A warning rs_dec_full/lamda_roots.v 295 5 Signal two is being assigned multiple times ( previous assignment at line 156 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[114] W415a N.A warning rs_dec_full/lamda_roots.v 302 5 Signal E is being assigned multiple times ( previous assignment at line 297 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[115] W415a N.A warning rs_dec_full/lamda_roots.v 310 5 Signal chk_cnt is being assigned multiple times ( previous assignment at line 163 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[116] W415a N.A warning rs_dec_full/lamda_roots.v 314 5 Signal chk_cnt is being assigned multiple times ( previous assignment at line 163 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:lamda_roots_unit@lamda_roots']
[165] W415a N.A warning rs_dec_full/out_stage.v 123 5 Signal F is being assigned multiple times ( previous assignment at line 115 ) in same always block [Hierarchy: ':top:URS_dec@RS_dec:out_stage_unit@out_stage']
[169] W415a N.A warning sha3/padder.v 78 5 Signal v1[7] is being assigned multiple times ( previous assignment at line 77 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:padder_@padder']
[170] W415a N.A warning sha3/padder.v 85 5 Signal v1[7] is being assigned multiple times ( previous assignment at line 84 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:padder_@padder']
[171] W415a N.A warning sha3/rconst2in1.v 26 5 Signal rc1[0] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[172] W415a N.A warning sha3/rconst2in1.v 27 5 Signal rc1[1] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[173] W415a N.A warning sha3/rconst2in1.v 28 5 Signal rc1[3] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[174] W415a N.A warning sha3/rconst2in1.v 29 5 Signal rc1[7] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[175] W415a N.A warning sha3/rconst2in1.v 30 5 Signal rc1[15] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[176] W415a N.A warning sha3/rconst2in1.v 31 5 Signal rc1[31] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[177] W415a N.A warning sha3/rconst2in1.v 32 5 Signal rc1[63] is being assigned multiple times ( previous assignment at line 25 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[178] W415a N.A warning sha3/rconst2in1.v 38 5 Signal rc2[0] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[179] W415a N.A warning sha3/rconst2in1.v 39 5 Signal rc2[1] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[180] W415a N.A warning sha3/rconst2in1.v 40 5 Signal rc2[3] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[181] W415a N.A warning sha3/rconst2in1.v 41 5 Signal rc2[7] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[182] W415a N.A warning sha3/rconst2in1.v 42 5 Signal rc2[15] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[183] W415a N.A warning sha3/rconst2in1.v 43 5 Signal rc2[31] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[184] W415a N.A warning sha3/rconst2in1.v 44 5 Signal rc2[63] is being assigned multiple times ( previous assignment at line 37 ) in same always block [Hierarchy: ':top:Ukeccak@keccak:f_permutation_@f_permutation:rconst_@rconst2in1']
[186] W415a N.A warning hpdmc/hpdmc_busif.v 54 5 Signal mgmt_stb_en is being assigned multiple times ( previous assignment at line 52 ) in same always block [Hierarchy: ':top:Uhpdmc@hpdmc:busif@hpdmc_busif']
[219] W415a N.A warning bubble_sort/bubble_sort.v 36 5 Signal temp is being assigned multiple times ( assignment within same for-loop ) in same always block [Hierarchy: ':top:Ububble_sort@bubble_sort']
[24] W362 N.A warning cavlc/cavlc_fsm.v 118 10 For operator (==), left expression: "TrailingOnes" width 2 should match right expression: "TotalCoeff" width 5 [Hierarchy: ':top:Ucavlc_top@cavlc_top:cavlc_fsm@cavlc_fsm']
[20] W116 N.A warning top.v 268 10 For operator (|), left expression: "csr_a[13:0] " width 14 should match right expression: "RDY" width 1. [Hierarchy: ':top']
[185] W116 N.A warning hpdmc/hpdmc_mgmt.v 111 10 For operator (&), left expression: "{ 13{ sdram_adr_loadcol} } " width 13 should match right expression: "col_address" width 9. [Hierarchy: ':top:Uhpdmc@hpdmc:mgmt@hpdmc_mgmt']
[196] W116 N.A warning fft256/fft16.v 471 10 For operator (-), left expression: "m4_12r" width 11 should match right expression: "m707r" width 13. [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16']
[197] W116 N.A warning fft256/fft16.v 472 10 For operator (-), left expression: "m4_12i" width 11 should match right expression: "m707i" width 13. [Hierarchy: ':top:Ufft256@fft256:U_FFT1@FFT16']
[209] W116 N.A warning fft256/fft16.v 471 10 For operator (-), left expression: "m4_12r" width 13 should match right expression: "m707r" width 15. [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16']
[210] W116 N.A warning fft256/fft16.v 472 10 For operator (-), left expression: "m4_12i" width 13 should match right expression: "m707i" width 15. [Hierarchy: ':top:Ufft256@fft256:U_FFT2@FFT16']
[200] W528 N.A info /home/zhangchen/VC_SpyGlass_Lint_Overview/Lab1_direct/VC_RUN/vcst_rtdb/.internal/spyglass/vc_lint1/top/VC_GOAL1/spyglass_reports/lint/SignalUsageReport.rpt 1 10 Please refer to 'SignalUsageReport.rpt' for details of violating bits
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++8、在原有命令基础上添加-verdi选项以启动GUI：
% vc_static_shell -f convert.tcl -verdi -out_dir VC_RUN使用make命令也是可以的。
% make prj2tcl_verdi9、点击某条违规记录后可以在VC_Static_InfoView窗口中看到该违规的详细信息，如图1所示。
图1 查看违规的详细信息
10、若违规项开头出现与门
图标，表示可查看对应的电路原理图，选择某个违规项，然后点击 VC_Static_InfoView窗口中的New Violation Schematic或者右键单击违规并在菜单中选择New Violation Schematic或者使用Ctrl+N快捷键，如图2所示，即可打开原理界面查看该违规的相关情况，如图3所示。
图2 打开违规的原理图
图3 违规的原理图
屏蔽违规
1、选择之前步骤中所选的违规项。
2、点击VC_Static_InfoView窗口中的Create a Waiver或者右键单击违规并在菜单中选择Create a Waiver->Waived...打开屏蔽创建窗口。
图4 打开屏蔽创建窗口
3、在弹出的窗口中，可以根据需要调整传递给屏蔽命令的字段值。当前可保持默认设置，选择 Set Violation Status as Waived，Preview Results可用于查看满足字段过滤条件的结果，在这里是有一条违规，然后点击ADD Item，Waive文件将创建并写入屏蔽命令。
图5 屏蔽创建窗口
4、也可以一次性屏蔽某一标签的所有违规项，在左侧Activities tree面板中选择FlopEConst标签，点击VC_Static_InfoView窗口中的Waive Selected Tag或者右键单击违规并在菜单中选择Waiver->Create a Waiver for this Tag打开屏蔽创建窗口。
图6 打开屏蔽创建窗口
5、选择Set Violation Status as Waived然后点击ADD Item，屏蔽命令将写入之前的Waive文件。
图7 屏蔽创建窗口
6、在vc_static_shell中直接执行屏蔽命令也是可以的，屏蔽命令将写入Waive文件，如下所示。
vc_static_shell > waive_violation -app {lint} -tag FlopEConst -add shell_waive_command7、屏蔽标签完成后，Activities tree面板中的Violations选项卡中的FlopEconst违规将变成灰色，顶端信息显示有十条违规被屏蔽，如图8所示；与此同时，Activities tree面板中的Violations选项卡将多出十条违规，如图9所示。
图8 屏蔽完成后的Violations
图9 屏蔽完成后的Waivers
腾讯云面向开发者汇聚海量精品云计算使用和开发经验，营造开放的云计算技术生态圈。
更多推荐
16
0- 0
已为社区贡献5条内容
所有评论(0)