我们比赛主要使用synopsys的全家桶，下面的笔记以及资料整理都使用的是synopsys家的工具
spyglass 使用指南
VCS+verdi仿真[使用DW库]
VCS_Cover
UVM入门
Design Compiler入门指南
Design Compiler时序约束
Formality形式验证
ICC
Design compiler DFT
