数字版图eco之后如何回到代码级别的功能仿真？

桅杆 · 发表于 2021-9-14 17:22:58

您需要登录才可以下载或查看，没有账号？注册

x

请教一下，通过修改版图修正一点功能bug之后，想做功能仿真，提后仿担心会跑得很慢，不知有没有别的办法？

飞翔的马甲 · 发表于 2021-9-15 11:31:13

你说的数字版图是指的网表吗？我们网表做完ECO之后，RTL代码也会同步修改的。验证基于修改后的RTL代码进行功能验证和回归，设计要对修改后的网表和修改后的代码进行formal验证，确保修改后的网表和修改后的RTL代码是一致的。

飞翔的马甲 · 发表于 2021-9-15 11:43:14

飞翔的马甲发表于 2021-9-15 11:31
你说的数字版图是指的网表吗？我们网表做完ECO之后，RTL代码也会同步修改的。验证基于修改后的RTL代码进行 ...

准确的说法叫做“formality”，formal包含formality

桅杆 · 发表于 2021-9-16 11:50:25

飞翔的马甲发表于 2021-9-15 11:43
准确的说法叫做“formality”，formal包含formality

了解了，谢谢

[讨论] 数字版图eco之后如何回到代码级别的功能仿真？