综合 | UPF问题

海狸先生0119 · 发表于 2023-4-4 16:13:59

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

x

请教大家,
在综合阶段,吃不吃UPF,对我生成的netlist有什么区别?

在综合阶段吃UPF或者不吃UPF,有什么优缺点?
如果综合阶段吃UPF了,那做形式验证的时候,形式验证工具也必须吃UPF吗?
感谢

.

三岁就十分拽 · 发表于 2023-4-6 13:08:52

不吃UPF，不会Map一些低功耗器件，Isolation，Retention Register等

做Formal，吃了UPF，就拿RTL和你自己写的UPF，和Netlist和DC吐出来的UPF去比就好了

voiluce · 发表于 2023-4-6 15:43:50

formal 可以不用upf，也是可以跑的 ~~~

海狸先生0119 · 发表于 2023-4-6 17:23:17

三岁就十分拽发表于 2023-4-6 13:08
不吃UPF，不会Map一些低功耗器件，Isolation，Retention Register等

做Formal，吃了UPF，就拿RTL和你自己 ...

继续请教一下,如果我不在综合阶段吃UPF,那低功耗器件在什么阶段插进netlist里面呢?
感谢.

海狸先生0119 · 发表于 2023-4-6 17:24:17

voiluce 发表于 2023-4-6 15:43
formal 可以不用upf，也是可以跑的 ~~~

就是说,不论我在综合阶段有没有吃UPF,我做FV的时候都可以不吃UPF?

voiluce · 发表于 2023-4-6 18:00:29

我做FV的时候都可以不吃UPF?
===
是的。。。

三岁就十分拽 · 发表于 2023-4-7 11:24:08

海狸先生0119 发表于 2023-4-6 17:24
就是说,不论我在综合阶段有没有吃UPF,我做FV的时候都可以不吃UPF?

综合吃 FV就要吃

综合不吃 FV就不吃

三岁就十分拽 · 发表于 2023-4-7 11:25:51

海狸先生0119 发表于 2023-4-6 17:23
继续请教一下,如果我不在综合阶段吃UPF,那低功耗器件在什么阶段插进netlist里面呢?
感谢.
...

那就不晓得了我们都是综合的时候插可能后端的时候也可以插

18812436116 · 发表于 2023-4-7 11:28:41

Mark一下

710466312 · 发表于 2024-4-8 10:47:11

mark一下

[求助] 综合 | UPF问题