简介：这份资源是面向IC设计验证初学者与进阶工程师的VCS实验资料包，围绕Synopsys VCS这一Verilog/SystemVerilog编译仿真工具展开，帮助读者通过动手实验掌握从编译、仿真到覆盖率分析的完整验证流程。压缩包共137个文件，约628KB，以Verilog源码（.v）为主体，辅以C语言文件、文档（.doc）、图片（.jpg）、仿真输出（.vpd）及各类脚本与数据文件，覆盖编译基础、预处理器指令、仿真命令、覆盖率、断言、UVM、测试激励生成、错误调试与性能优化等关键知识点。目前已有461人学习下载，适合希望系统练习VCS命令行操作与验证方法论的读者。包内实验源码与配套文档相互印证，可帮助读者理解编译链接选项、波形与覆盖率报告解读，并积累排错与优化思路，为IC验证岗位打下实操基础。
1. 从一份 VCS 实验包说起：为什么老工程师还在翻 2006 年的 lab
前阵子帮一个刚转验证的同事看环境，他手里有个VCS_workshop_lab.7z，解压出来就几个文件：data.bin、fileio.c、veriuser.c、strobe_compare.c、data.c，外加clean、cleanup两个脚本和data1、data2、data3三个数据文件。他一脸懵地问我：这堆东西跟 IC 验证有什么关系，是不是该直接删掉。
我让他先别删。这套东西是典型的 VCS 早期 workshop 实验素材，核心不在那几个.c文件本身，而在于它们演示了 VCS 和外部 C 代码怎么通过 PLI/VPI 接口打通，以及仿真数据怎么落盘、怎么比对。现在 UVM 满天飞，但真到了要读波形、要写 C 模型、要做文件 IO 比对的时候，这些底层机制反而成了黑匣子。这份资源适合两类人：一是刚接触 VCS、想搞明白编译仿真全流程到底发生了什么的新手；二是用了几年 VCS、但一直靠脚本封装、没亲手碰过veriuser.c这类接口文件的老手。下面我按自己复现的路径，把这份包拆开讲一遍。
2. 拆包先看文件构成：VCS 编译仿真链路里每个文件站什么位置
2.1 从data.bin和data1/2/3反推数据流
data.bin是二进制数据文件，data1、data2、data3是文本数据文件。在 VCS 实验环境里，这种命名通常对应三种用途：data.bin给 C 侧fread用，data1给 Verilog 侧$readmemh或$fscanf用，data2、data3可能是不同激励场景的输入。我一般会先file一下看类型，再xxd看头部：
file data.bin data1 data2 data3 xxd data.bin | head -20 head -30 data1逻辑说明：file判断是 ASCII 还是 binary，xxd看二进制头部有没有 magic number，head看文本文件是不是十六进制或十进制列表。参数上没什么可调的，关键是别急着改文件，先确认原始格式。如果data1是每行一个 32 位十六进制数，那大概率是给$readmemh用的；如果是逗号分隔的十进制，那可能是给 C 侧fscanf用的。
2.2fileio.c、veriuser.c、strobe_compare.c的分工
这三个 C 文件是这套 lab 的技术核心。fileio.c一般实现文件读写函数，通过 VPI 注册成系统任务，让 Verilog 里能调用$fopen之类的自定义 IO。veriuser.c是 VCS 老式 PLI 的入口文件，里面通常有veriusertfs数组，把用户定义的任务和函数挂到 VCS 的 task/function 表上。strobe_compare.c从名字看是采样比对，可能配合$strobe在特定时刻抓数据跟参考值对比。
常见做法是先用gcc -c单独编译每个 C 文件，确认没有语法错误，再让 VCS 在链接阶段把.o拉进去。我一般会这样试：
gcc -c -fPIC -I$VCS_HOME/include fileio.c -o fileio.o gcc -c -fPIC -I$VCS_HOME/include veriuser.c -o veriuser.o gcc -c -fPIC -I$VCS_HOME/include strobe_compare.c -o strobe_compare.o参数说明：-fPIC生成位置无关代码，VCS 链接共享库时需要；-I$VCS_HOME/include指向 VCS 安装目录下的头文件，里面是vpi_user.h、veriuser.h这些。如果$VCS_HOME没设，先echo $VCS_HOME确认，别硬编码路径。编译报vpi_user.h: No such file就是头文件路径没给对。
2.3clean和cleanup脚本的差别
两个脚本名字很像，但用途不同。clean通常删编译中间产物：*.o、simv、csrc目录、ucli.key之类。cleanup更彻底，可能连波形*.vpd、覆盖率*.vdb、日志*.log一起清。我一般先cat看内容再执行：
cat clean cat cleanup注意：有些老 lab 的cleanup里会写rm -rf *，如果你在解压目录直接跑，会把源码一起删掉。血泪经验是先把这两个脚本备份，或者手动执行里面的命令，别直接./cleanup。我习惯在解压后先cp -r一份原始包到orig/，所有操作在副本里做。
3. 把 C 接口接进 VCS：编译、链接、跑通第一个仿真
3.1 确认 VCS 版本和 PLI 接口类型
VCS 支持老式 PLI 1.0 和 VPI/PLI 2.0。veriuser.c这个文件名暗示它用的是 PLI 1.0 的veriusertfs机制，而fileio.c可能用 VPI。先确认版本：
vcs -ID which vcs逻辑说明：-ID打印版本和编译日期，which vcs确认用的是哪个安装。如果版本太新（比如 2020 以后），老 PLI 1.0 可能默认不开启，需要在编译时加-pli或-P选项。我一般会先跑一个最小 Verilog 文件测试环境是否正常：
// test_min.sv module test_min; initial begin $display("VCS alive at %0t", $time); $finish; end endmodulevcs -full64 -sverilog test_min.sv -o simv_min ./simv_min参数说明：-full64生成 64 位仿真器，现在基本必加；-sverilog开启 SystemVerilog 支持；-o指定输出可执行名。如果这一步就报 license 错误，后面都不用试了，先解决 license。
3.2 用-CFLAGS和-LDFLAGS把 C 文件拉进编译
VCS 编译时可以通过-CFLAGS传编译选项，通过-LDFLAGS传链接选项。常见做法是把前面编好的.o直接列在命令行：
vcs -full64 -sverilog \ -CFLAGS "-I$VCS_HOME/include -fPIC" \ -LDFLAGS "-Wl,-rpath,$VCS_HOME/linux64/lib" \ fileio.o veriuser.o strobe_compare.o \ test_top.sv -o simv_lab逻辑说明：-CFLAGS里的-I让 VCS 内部编译 C 代码时能找到头文件；-LDFLAGS里的-rpath确保运行时能找到 VCS 的共享库。如果报undefined reference to vpi_register_systf，说明链接时没把 VCS 的 VPI 库拉进来，需要加-lvcssim或类似库名，具体看$VCS_HOME/linux64/lib下有什么。
参数怎么改：如果你的 C 文件里用了malloc、fopen这些标准库，不用额外加-lm，VCS 默认会链。如果用了数学库sin/cos，加-lm。如果 C 代码里用了 C++ 特性，把gcc换成g++，并在 VCS 命令行加-cpp。
3.3 跑仿真并观察strobe_compare的输出
假设test_top.sv里在某个时刻调用了$strobe_compare或类似任务，跑起来后重点看两处：一是 VCS 编译日志里有没有Warning: PLI task not found，二是仿真日志里strobe_compare打印的比对结果。
./simv_lab -l sim.log grep -i "compare\|mismatch\|error" sim.log逻辑说明：-l把仿真输出同时写日志，方便 grep。如果strobe_compare在 C 侧用vpi_printf输出，日志里能看到。如果比对失败，通常会打印期望值和实际值。我一般会先让data1和data2故意不一致，确认比对逻辑真的在工作，再换回正确数据。这一步是验证 C 接口有没有真正被调用的关键，别跳过。
4. 避坑排查：这套老 lab 在新环境里最容易翻车的五个点
4.1 现象：编译报cannot find -lvcs或undefined reference to vpi_*
原因：VCS 安装目录下的库路径没进LD_LIBRARY_PATH，或者链接时没指定 VCS 的 VPI 库。老 lab 的 Makefile 里可能写死了某个旧版本路径。
解决：先echo $LD_LIBRARY_PATH，确认包含$VCS_HOME/linux64/lib。如果没有，临时加：
export LD_LIBRARY_PATH=$VCS_HOME/linux64/lib:$LD_LIBRARY_PATH然后在 VCS 命令行加-LDFLAGS "-L$VCS_HOME/linux64/lib -lvcsnew"，库名用ls $VCS_HOME/linux64/lib | grep vpi确认。
4.2 现象：veriuser.c编译通过，但仿真时任务没被注册
原因：PLI 1.0 的veriusertfs数组需要 VCS 在启动时主动加载，新版本默认可能不启用。或者veriuser.c里的veriusertfs数组名被改过，VCS 找不到入口。
解决：在 VCS 命令行加-P指定 PLI 表文件，或者加-pli开启 PLI 1.0 支持。如果还不行，把veriuser.c里的veriusertfs数组用extern声明检查一遍，确保没有static修饰。我遇到过因为数组被写成static veriusertfs[]导致链接器看不到符号的情况。
4.3 现象：data.bin读出来全是 0 或乱码
原因：C 侧fopen用了"r"而不是"rb"，在 Linux 上通常没事，但如果文件是从 Windows 传过来的，换行符\r\n会干扰二进制解析。或者fread的 size 和 count 参数写反了。
解决：统一用"rb"打开二进制文件。检查fread(buf, sizeof(char), len, fp)的参数顺序，别写成fread(buf, len, 1, fp)。如果data.bin是 32 位小端数据，读进来后还要做字节序转换。
4.4 现象：clean脚本执行后源码不见了
原因：老 lab 的clean里可能写了rm -f *.c *.h，本意是删生成的中间 C 文件，但把源码也匹配进去了。
解决：执行前先cat clean，确认删除列表。我习惯把clean改成显式列出要删的文件，比如rm -f simv *.o csrc/*.o，不用通配符匹配.c。如果已经删了，从原始压缩包重新解压。
4.5 现象：仿真跑完没有波形文件
原因：test_top.sv里没调$vcdpluson或$dumpfile/$dumpvars，或者 VCS 编译时没加-debug_access+all。
解决：在 initial 块里加：
initial begin $vcdpluson; end编译时加-debug_access+all。如果用的是$dumpvars，还要加-dumpfile指定输出名。注意$vcdpluson是 VCS 专有，$dumpvars是 Verilog 标准，两者别混用。
5. 进阶：用strobe_compare.c做自动化比对和回归
5.1 把比对结果写成机器可读格式
strobe_compare.c默认可能只往 stdout 打印，做回归时不好统计。我一般会改一下 C 代码，让它同时写一个result.csv：
// 在 strobe_compare.c 的比对函数里加 FILE *rf = fopen("result.csv", "a"); if (rf) { fprintf(rf, "%s,%s,%s,%s\n", test_name, time_str, expected_str, actual_str); fclose(rf); }逻辑说明：test_name从 VPI 参数里取，time_str用vpi_get_time转字符串，expected_str和actual_str是比对的两个值。追加模式"a"保证多次调用不覆盖。参数上注意fopen失败要判空，别直接fprintf到空指针。
5.2 用 shell 脚本包一层回归
有了result.csv，回归脚本就简单了：
#!/bin/bash rm -f result.csv for seed in 1 2 3; do ./simv_lab +seed=$seed -l sim_$seed.log done awk -F, '$3 != $4 {print "MISMATCH at " $1 " time " $2}' result.csv逻辑说明：+seed是传给 Verilog 的 plusarg，-l分开日志。awk比较第三列和第四列，不等就打印。如果输出为空，说明全部通过。这个脚本可以挂到 CI 里，每次改 RTL 跑一遍。
5.3 一个我常犯的错误
早期我总以为strobe_compare是在$strobe时刻采样，后来发现它其实是在$monitor或$display时刻被调用的，采样时刻取决于 C 代码里注册的是哪个 VPI 回调。从那以后我每次改strobe_compare.c，都强制在 C 里加一行vpi_printf("compare called at %t\n", vpi_get_time(NULL))，先确认调用时刻对不对，再改比对逻辑。这个习惯帮我省了很多次重新编译仿真的时间。希望帮到你。
本文还有配套的精品资源，点击获取
