一份spyglass做lint的lint.prj
目录
对于以上命令的解释需要逐步更新，有些命令一看便知功能不再赘述。这些配置可以在使用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