在使用Verilog/SystemVerilog进行硬件验证时，动态加载DPI（Direct Programming Interface）共享库是一个常见且强大的功能。通过这种方式，我们可以将C或C++代码与Verilog代码结合起来，以实现更复杂的验证任务。本文将介绍如何在VCS仿真环境中动态加载DPI共享库，以及如何高效地管理这些库文件。
VCS编译与DPI共享库
在VCS中，我们通常先进行VCS的编译（vcs compile），然后通过调用GCC编译器生成C语言的.so文件（共享库）。这些.so文件包含了C/C++代码，可以在仿真时与SystemVerilog代码进行交互。
动态加载DPI共享库
在仿真运行时（vcs run），需要手动加载这些.so文件。VCS提供了两种命令行选项来加载DPI共享库，具体方式如下：
- 使用
-sv_liblist指定.so的列表文件（Bootstrap file）
这种方式需要提供一个列表文件，其中列出了所有需要加载的.so文件（不需要加文件后缀名）。这个文件将包含所有依赖的共享库路径，VCS会根据这些信息动态加载相关的库。
1 | -sv_liblist Bootstrap.file |
- 使用
-sv_lib逐个指定共享库
你也可以通过-sv_lib选项手动指定每个.so库。注意，库名不需要加.so后缀。
1 | -sv_lib libname |
配置DPI共享库根目录
-sv_root选项用于指定DPI共享库的根目录。这个目录是共享库查找的起始路径。通过设置这个选项，我们可以确保仿真器在正确的位置查找和加载共享库。特别是，这个路径还支持环境变量$ENV，使得路径设置更加灵活。
1 | -sv_root /home/user |
示例配置
假设我们有一组共享库文件，分别位于不同的目录。可以通过以下两种方式进行配置：
使用-sv_liblist
首先，设置DPI共享库根目录，然后指定包含共享库路径的列表文件（Bootstrap.file）：
1 | -sv_root /home/user |
使用-sv_lib
另外一种方式是直接指定每个共享库的路径：
1 | -sv_root /home/user |
这会加载以下路径的共享库：
/home/user/myclibs/lib1.so/home/user/myclibs/lib3.so/home/user/proj1/clibs/lib4.so
sv_liblist示例
在Bootstrap.file文件中，你可以列出所有需要加载的共享库。文件内容可能类似如下：
1 | myclibs/lib1 |
这些库的完整路径将在仿真过程中被解析为：
/home/user/myclibs/lib1.so/home/user/myclibs/lib3.so/home/user/proj1/clibs/lib4.so
总结
动态加载DPI共享库是一种强大的技术，能够帮助我们在VCS仿真过程中将C/C++代码与Verilog代码无缝集成。通过使用-sv_liblist或-sv_lib选项，我们可以灵活地加载多个共享库，而-sv_root选项则允许我们指定共享库的根目录。这些功能不仅提高了仿真效率，还增加了配置的灵活性。
如果你正在进行复杂的硬件验证，尤其是需要与C/C++代码交互时，掌握这些DPI共享库加载技巧将大大提高你的工作效率。
本文链接： https://talent-tudou.github.io/2024/11/16/IC/VCS动态加载DPI共享库(.so)/
版权声明： 本作品采用 CC BY-NC-SA 4.0 进行许可。转载请注明出处！
