Modelsim 是 FPGA 开发中重要的 EDA 设计仿真工具，主要用于验证数字电路设计是否正确。紫光 Pango Design Suite 开发套件支持联合 Modelsim 仿真，这里作简要的介绍。
打开 Pango Design Suite，点击 Tools -> Compile Simulation Libraries，在弹出来的窗口中，设置需要编译的器件库、编译库路径、Modelsim 路径。
点击 Compile，等待编译结束。
最后，打开前面设置的编译库路径，将 modelsim.ini 配置文件拷贝到 Modelsim 安装路径下。打开 Modelsim，在 Library 列表中看到以下库名称，就说明库编译完成了。
如果不想使用 PDS 软件编译仿真库，还可以通过 tcl 脚本编译仿真库。首先，在桌面新建文本文件 pango_sim_compile.txt，修改文件后缀名为 tcl，用记事本打开，输入以下脚本并保存。
# 创建pango库
vlib pango
# 映射逻辑库到存储库
vmap pango ./pango
# 定义仿真文件存储路径
set pango_file_dir D:/pango/PDS_2021.4/arch/vendor/pango/verilog/simulation
# 编译库
vlog -incr $pango_file_dir/*.v -work pango
打开 Modelsim，在命令行窗口中输入
source C:/Users/Administrator/Desktop/pango_sim_compile.tcl
等待编译结束，Library 列表中就出现了 pango 库。
如果不想编写 tcl 脚本，还可以直接添加已经编译好的仿真库。将附件压缩包解压到 Modelsim 的安装路径下，并在 modelsim.ini 文件中增加 pango 库的路径信息。
打开 Modelsim，出现了 pango 库就说明仿真库添加成功。
这里尝试仿真紫光同创 PLL IP 核，在 PDS 软件中配置 PLL IP 核并生成设计文件，clkin1 频率为 50MHz，clkout1 和 clkout2 的频率均为 200MHz，相位相差 180°。
IP 核生成文件中自带了激励文件，将设计文件和激励文件添加进 Modelsim，编译，指定 pango 库并启动仿真。
添加波形到波形窗口，测量得 clkout0 的频率约为 200MHz。
