ISE post-place&route仿真准备
使用目的：post-place&route仿真是综合后考虑门延时而进行的仿真。因为考虑到各个门的延时，所以可以发现行为仿真（behavior simulation）发现不了的问题。
前期准备：
- 因为我使用的modelsim进行的仿真，所以以下解释为基于modelsim。
1.编译库文件。因为modelsim需要调用xilinx内部元件库的各个门延时数据，所以需要将xilinx内部的simprim_ver库进行编译，并把这个库的地址放到modelsim的库调用文件modelsim.ini中去。
具体做法参见xilinx给出的library编译过程，我们的目标是编译simprim_ver库。以下两图解释了编译方法。详见xilinx官方文档https://www.xilinx.com/support/documentation/sw_manuals/xilinx11/pp_p_process_compile_hdl_simulation_libraries.htm，https://www.xilinx.com/support/documentation/sw_manuals/xilinx11/ise_c_simulation_libraries.htm
2.modelsim引用库文件。记住刚刚simprim_ver库的编译地址，打开modelsim.ini(在modelsim的安装路径下)，在【library】位置加上simprim_ver的地址。重新开modelsim可以在library中看到已添加的simprim_ver库。
3.写好verilog testbench，打开ise sources for，在behavior simulation 下有一个post——route simulation，点击后，在processes中选中modelsim post place&route编译。成功！
