vivado + modelsim 仿真：Post-Synthesis Timing Simulation

使用Vivado 生成仿真所需文件

1. Vivado simulation 中可勾选Generate simulation scripts only;
2. 勾选-sdf_anno;
   
3. 在testbanch文件中例化glbl,该文件可在vivado安装路径下找到，将其放到vivado工程的sim文件中；
4. 综合工程
5. 运行```Post-Synthesis Timing Simulation````
   
6. 运行结束后可在工程目录下找到生成好的sdf和网表文件；
   

上述两个文件也可使用TCL命令得到

创建Modelsim工程

1. 与功能仿真一致，创建工程，添加激励文件、模型文件；
2. 将待测文件使用xxx_time_synth.v代替即可；
3. GUI界面添加SDF
   
4. 添加相关库文件
   
5. 添加glbl
   
6. 启动仿真
   
7. 添加波形、运行仿真即可

参考文档

1. 《Vivado Design Suite 用户指南: 逻辑仿真 》(UG900)