将约束文件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