关于formality的一个问题

liliwa · 发表于 2014-6-4 23:03:06

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

x

在这里有个问题想请教一下。我做的设计中有用到了DW中的乘法器和加法器的IP核，我就想知道我在做formality时，应该怎么弄啊，对于这个到底是应该加入什么文件呢？
忘解答，谢谢啦

icfbicfb · 发表于 2014-6-5 10:44:33

使用 dc 综合的svf吧， set_svf

liliwa · 发表于 2014-6-5 12:22:14

回复 2# icfbicfb

恩，这个问题我解决了，想问一下您，我的设计中采用了MC生成的RAM，在读入db文件时，将ram的db也读入了，但是在做match的时候，显示我的那些ram都是black box。想知道这样是对的么？

djhme · 发表于 2014-6-5 20:12:25

回复 3# liliwa
对的。因为RAM里的电路formality不用care

liliwa · 发表于 2014-6-5 21:17:58

回复 4# djhme

哦，好的。非常感谢您

wlw98 · 发表于 2014-7-17 16:48:51

回复 1# liliwa

请问 fm怎么通过的，ip核怎么加进去的我用了个eeprom的ip核 set top的时候报了很多错，求教~

[求助] 关于formality的一个问题