verdi 文件格式转换及差异

1、fsdb2saif
命令：

fsdb2saif 1.fsdb -bt 100ns -et 200ns -o 2.saif

将1.fsdb文件中100~200ns时间段的波形抽出转换为2.saif文件。

2、fsdb2vcd
命令：

fsdb2vcd 1.fsdb -bt 100ns -et 200ns -o 2.vcd

将1.fsdb文件中100~200ns时间段的波形抽出转换为2.vcd文件。

3、fsdbextract
命令：

fsdbextract 1.fsdb -bt 100ns -et 200ns -o 2.fsdb

将1.fsdb文件中100~200ns时间段的波形抽出转换为2.fsdb文件。

4、三者波形文件的差异
fsdb：

fsdb为 Fast Signal DataBbase，压缩的二进制文件格式。
类似于VCD的波形文件，去除了VCD中的冗余信息，数据量小很多，提高了仿真的速度。

saif：

saif为switching activity interchange format
开关行为内部交换格式文件，用于仿真器和功耗分析之间交换信息的ASCII文件(美国标准信息交换码文件)。
It captures signal transitions and the time spent at each logic level. 
The SAIF file contains the toggle counts and static probabilities for the nets in the design.
SAIF is supported only in the averaged power analysis mode.
有些工具，比如ICC/ICC2，只支持SAIF文件，需要将VCD转换成SAIF文件，在PT安装目录下有一个utility：
vcd2saif -input vcd_file -output saif_file …

VCD：

VCD为Value/Variable Change Dump，国际标准格式。
It is an event-based format that contains every value change for the
signals in the design and the time at which they occurred.
VCD is supported in both the averaged and time-based analysismodes，是国际标准格式。
Gate-Level VCD和RTL-Level VCD都可以，但是使用RTL-Level VCD时，需要进行name mapping
(set_rtl_to_gate_name)。
VCD文件示例：http://en.wikipedia.org/wiki/Value_change_dump