一份spyglass做lint的lint.prj

目录

1.命令解释

1.1 以上的几类命令

1.1.1 set_option

1.1.2 current_methodology

1.1.3 current_goal

1.1.4 read_file

1.1.5 set_goal_option

1.1.6 set_parameter

---

对于以上命令的解释需要逐步更新，有些命令一看便知功能不再赘述。这些配置可以在使用spyglass GUI过程中勾选，然后保存到lint.prj中。也可以事先设置到lint.prj中。

1.命令解释

1.1 以上的几类命令

1.1.1 set_option

set_option stop {xxx}: xxx是mudule name 而不是instance name，表示不对xxx module进行内部的lint分析，接口会分析。编译会检查

1.1.2 current_methodology

1.1.3 current_goal

1.1.4 read_file

read_file -type waiver xxx.swl

read_file -type awl xxx.awl

以上两种type ‘waiver’ 和‘awl’都是waiver文件

1.1.5 set_goal_option

set_goal_option default_waiver_file :设置默认waiver文件路径

1.1.6 set_parameter