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