SPYGLASS命令

将约束文件sdc转为sgdc文件：
read_file -type sdc ./.sdc
set_option sdc2sgdc yes
读入多个文件：
read_file -type verilog {./.v ./.v}
读入单个文件：
read_file -type verilog ./.v
读入列表里的文件：
read_file -sourcelist filelist.f
开始导入文件：
current_goal Design_Read -alltop

set_option stopfile …/.v
set_option ignorefile …/.v
增加某条rule:
set_goal_option addrule {W116}
更改等级为Error：
set_goal_option overloadrules {W116+severity=Error}
信号大小太大不能处理时，使用这条：
set_parameter handle_large_bus yes
设置memeory的size大于rtl中的memmory size(38400)：
set_option mthresh 39000
忽略掉某条错误或警告：
waive -file {./*.v} -rule {W116} -msg {“对应的错误信息”}
忽略掉某一类型错误或警告：
waive -file {./.v} -rule {W116}
运行
run_goal