Verdi and Siloti Command Reference

Verdi用户手册最新版，基于Version U-2023.03, March 2023.Verdi主要用于生成fsdb模型，同VCS使用的vcd文件相比，verdi使用的fsdb相当于vcd文件经过霍夫编码压缩之后的精简版，可用于查看fsdb波形并追踪RTL代码。 虽说verdi、modelsim都是用来调试波形， modelsim与verdi相比，最大的缺点是波形不会全dump，wave窗口拉不全的话需要重新跑，而verdi边运行边查看。具体做法是，在使用tcl指令，在运行仿真时，设置仿真时间，每次run完毕之后，在nWave窗口中file——>自动加载（shift+L快捷键），异常方便！ Verdi和Siloti命令参考指南 Verdi是一款强大的IC验证工具，主要针对fsdb模型进行操作，这是Synopsys公司的Verification ContinuumTM平台的一部分。fsdb文件是VCD（Value Change Dump）文件的一种压缩和优化版本，尤其适用于查看和调试复杂的数字设计中的波形数据。相对于其他工具如Modelsim，Verdi提供了更高效的工作流程，特别是在波形查看和实时调试方面。 在VCS仿真环境中，VCD文件记录了设计中所有信号的变化，但文件体积庞大，不利于快速浏览和分析。而fsdb文件通过霍夫曼编码实现了压缩，使得文件大小大大减少，同时保持了足够的信息量，使得Verdi能够以更快的速度加载和解析波形数据。 Verdi的一大优点在于其动态查看功能。用户可以边运行仿真边查看波形，无需每次都需要重新运行仿真来获取完整波形。这得益于Verdi的nWave窗口，它支持在仿真过程中自动加载新的波形数据。例如，用户可以通过TCL指令设定仿真时间，每次运行结束后，只需在nWave窗口中选择“File” -> “Auto Load”（或使用快捷键Shift+L），即可自动加载最新的波形信息，极大地提高了调试效率。 除了基本的波形查看，Verdi还提供了一系列高级调试工具，如源码级追踪、断点设置、信号比较和事件分析等。这些特性使得开发者能够深入到RTL代码级别，快速定位问题所在，从而加速验证过程。 Siloti可能是Verdi的一个补充或扩展，可能包含了额外的调试和分析功能，但具体细节未在描述中给出。通常，这样的工具集会提供更加专业或者特定领域的验证解决方案。 值得注意的是，Verdi软件包含了第三方软件，部分可能遵循自由或开源软件许可，这些许可信息可以在安装目录下的`third_party_notices.txt`文件中找到。用户在使用Verdi时，必须遵守Synopsys以及第三方软件的许可协议。 关于出口管制，Verdi所包含的技术数据受到美国出口控制法律的约束，用户需要了解并遵守相关法规。此外，Synopsys及其许可方对本材料不做任何明示或暗示的保证，包括但不限于对适销性和特定用途适用性的保证。 Verdi是一款强大的IC验证和调试工具，其fsdb支持和动态波形查看功能显著提升了验证效率，而Siloti则可能提供更专业的调试增强。用户应当充分利用这些工具，以提高他们的验证质量和速度。