formality时用到memory compiler生成的sram

chenkai85782212 · 发表于 2013-8-30 18:03:49

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

x

在做formality，RTL代码中用到memory compiler生成的sram单元，想请教下在读参考设计的时候需要读入sram的db库吗？在读入implementation design的时候需要读入sram的db库吗？另外link library时序需要读入？

remnant · 发表于 2013-9-2 23:18:39

需要读入库。做formal哪来的时序。

ralphtw · 发表于 2014-10-23 16:26:48

learning !

anychao · 发表于 2014-10-26 11:17:14

可以把SRAM给blackbox掉

chentb1990 · 发表于 2021-5-12 11:29:14

anychao 发表于 2014-10-26 11:17
可以把SRAM给blackbox掉

how？请教

Roy97 · 发表于 2021-7-11 17:17:20

Formal 先读入库、SVFC文件等，然后才是ref，imp 等

[求助] formality时用到memory compiler生成的sram