OneSpin

【Vivado 综合 】我们如何正式验证 Vivado 生成的网表？

judy 在 周一, 11/09/2020 - 09:26 提交

OneSpin 工具可验证综合和实现过程（即 RTL 和综合网表）中任意两个步骤之间的功能等效性。本答复记录涵盖有关 OneSpin 支持版本的详细信息，以及设置 OneSpin 以测试 Vivado 综合生成的网表的基本流程。