synopsys

lab 的synopsys synthesize files想生成特定的report，在syn.tcl中添加特定的命令：

#show the 10 longest path

report_timing  -max_paths 10 > $report_dir/timing_10.rpt    

#show all the paths that violate the constraints

report_constraints -all_violators > $report_dir/constraint_violations.rpt

如果想看生成的RTL Schematic,当运行完synthesize  scripts,然后运行 design_vision，启动GUI界面，然后File--〉read， 添加生成的netlist文件(或直接添加HDL souce code)，就可以看见RTL Schematic.

在synopsys DC中，在generate中，每个for 都要加begin   end包住logic。

综合后的error,warning报告日志在文件 /synopsys/slot_separate/synthesis/synlog中。综合后要检查synlog是否有error，critical warning；并检查design_check_link.log中是否有Warning: Unable to resolve reference， 只有消除这些后综合结果才正确。