1.在verilog中disable检查
spyglass-lint可以在verilog代码中通过注释的方式disable掉某些检查，规则如下：
// spyglass disable_block xxx
// ...
verilog code
// spyglass enable_block xxx其中xxx就是被disable的某一项规则。在disable_block和enable_block之间的verilog code就是作用区域。
如果没有enable_block语句，则disable_block的默认作用范围到endmodule。而且会报一个un-paired block waiver pragma defined for rule 'xxx'
2.在Spyglass 命令行参数disable
spyglass -disable_rule xxx这个命令会把当前工程PRJ的xxx rule全部disable掉，lint就不会分析这个rule
3.在配置文件中设置(*.prj文件)
可以通过 Spyglass 的命令行界面启动 Spyglass Lint，并加载配置文件。启动命令可能类似于 spyglass -project your_project.prj -gui，这将打开 GUI 并加载指定的 .prj 配置文件
在prj文件中可以设置做哪些lint的检查，文件读取、设置顶层模块、选择综合模式等操作。
这些语句如下：
使用set_option top <module_name>命令来指定设计中的顶层模块
在Goal Setup选项卡中选择要检查的规则类型，并通过命令如current_goal lint/lint_rtl –top &l
324
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
