formality时用到memory compiler生成的sram
时间：10-02
整理：3721RD
点击：
在做formality，RTL代码中用到memory compiler生成的sram单元，想请教下在读参考设计的时候需要读入sram的db库吗?在读入implementation design的时候需要读入sram的db库吗?另外link library时序需要读入?
需要读入库。做formal哪来的时序。
learning ！
可以把SRAM给blackbox掉