vhdl - Synopsys 设计编译器 - 查看数据路径提取结果

Question

我正在使用 Synopsys Design Compiler(SDC) 与compile_ultra. 此选项执行高级数据路径提取，它基本上尝试将尽可能多的算术运算组合（或链接）在一起，然后使用进位保存算术以有效地实现此操作链。这在 SDC 用户指南中有所描述。据说优化留下了二进制文件中提取的数据路径的描述。我在下面的屏幕截图中指出了这些。有没有办法查看这些文件包含的内容并找出 SDC 最终生成的数据路径？

add_304_64_DP_OP_283_2056是提取的数据路径的名称（如report_resources图像开头的输出所示）。相应的had_unwound8_add_304_64_DP_OP_283_2056_0.a.e和had_unwound8_add_304_64_DP_OP_283_2056_0.b.e文件由 SDC 转储。

注意：电子产品堆栈交换的交叉发布，因为它在那里没有找到足够的购买。

Answer 1

文件夹 (*.ae 和 *.be) 中包含的dwsvf文件是为等价检查 (EC) 的下游工具（例如 Fomality）生成的。这些文件的格式是 Synopsys 提供的开源标准，命名为 V-SDC。这些文件旨在为 EC 工具提供有关生成的数据路径的信息，以加快 EC 流程。

为了查看生成的数据路径的详细信息，report_resources可以在 DC 中使用命令。