用conformal geometry做lec，为什么对blackbox的部分也做compare

来源：蜘蛛抓取(WebSpider) 时间：2016-04-27 10:41 标签： conformal mask
水木-微电子技术-[问题]用conformal做lec，为什么对blackbox的部分也做compare？
主题文章列表
下一页&共1页&
[问题]用conformal做lec，为什么对blackbox的部分也做compare？
发信人:&smartwang&(warren),&信区:&METech
标&&题:&[问题]用conformal做lec，为什么对blackbox的部分也做compare？
发信站:&水木社区&(Wed&Jul&&4&11:42:16&2012),&站内
而且有部分blackbox还比对过了，而另一部分没过？
用formalily是不比的呀。
※&来源:·水木社区&http://newsmth.net·[FROM:&210.13.97.*]
Re: [问题]用conformal做lec，为什么对blackbox的部分也做compa
发信人:&LeuSe&(还是太冲动啊),&信区:&METech
标&&题:&Re:&[问题]用conformal做lec，为什么对blackbox的部分也做compa
发信站:&水木社区&(Wed&Jul&&4&11:57:22&2012),&站内
【&在&smartwang&(warren)&的大作中提到:&】
:&而且有部分blackbox还比对过了，而另一部分没过？
:&用formalily是不比的呀。
※&来源:·水木社区&newsmth.net·[FROM:&203.18.50.*]
下一页&共1页&我们公司就是用conformal&&lec跑的形式验证。
不map有很多原因，我看你golden里有不map的E pin，请问下，你读library的时候是不是需要pad的lib文件？
UID32649&帖子15&精华0&积分843&资产843 信元&发贴收入90 信元&推广收入0 信元&附件收入0 信元&下载支出362 信元&阅读权限30&在线时间83 小时&注册时间&最后登录&
wowyxy3721
不一定需要LIB文件吧，仿真文件也可以。
UID991400&帖子40&精华0&积分129&资产129 信元&发贴收入220 信元&推广收入0 信元&附件收入0 信元&下载支出152 信元&阅读权限10&在线时间94 小时&注册时间&最后登录&
& &我们有个项目的某block遇到不map的，E pin，当时是把“read_library -liberty”读的lib文件换成了“read_library -verilog”去读.v文件，然后解决了。& &其他还没有遇到过E pin的不map。
UID378663&帖子7859&精华2&积分191796&资产191796 信元&发贴收入195190 信元&推广收入0 信元&附件收入24816 信元&下载支出2215 信元&阅读权限120&在线时间2078 小时&注册时间&最后登录&
lec主要用do文件来引导pass ，do文件由rc提供写出，
UID99605&帖子232&精华0&积分15181&资产15181 信元&发贴收入3730 信元&推广收入15 信元&附件收入7214 信元&下载支出4403 信元&阅读权限70&在线时间144 小时&注册时间&最后登录&
楼主问题解决了吗？我最近也在研究conformal验证问题，错误与楼主一致，如有解答请告之，非常感谢！！！！
UID928426&帖子11&精华0&积分867&资产867 信元&发贴收入60 信元&推广收入0 信元&附件收入0 信元&下载支出243 信元&阅读权限30&在线时间130 小时&注册时间&最后登录&
对formality而言，dc会write一个svf文件帮助比较。
对conformal lec而言，也可以用dc 使用report_resource 命令写出一个类似.res的文件来指定data path
在conformal lec使用analyze -data_path .res的命令就可以比对通过。
[通过 QQ、MSN 分享给朋友]这个软件是不是做形式验证的？看名字好像是。
UID138117&帖子40&精华0&积分203359&资产203359 信元&发贴收入390 信元&推广收入0 信元&附件收入219962 信元&下载支出6093 信元&阅读权限100&在线时间282 小时&注册时间&最后登录&
RTL to netlist equivalence check
UID7802&帖子408&精华0&积分10426&资产10426 信元&发贴收入15355 信元&推广收入0 信元&附件收入2720 信元&下载支出14886 信元&阅读权限70&在线时间2173 小时&注册时间&最后登录&
哪里有lec的教程么
UID138117&帖子40&精华0&积分203359&资产203359 信元&发贴收入390 信元&推广收入0 信元&附件收入219962 信元&下载支出6093 信元&阅读权限100&在线时间282 小时&注册时间&最后登录&
guideline,搜ひ幌戮涂烧业..
UID146890&帖子18&精华0&积分25&资产25 信元&发贴收入110 信元&推广收入10 信元&附件收入577 信元&下载支出2722 信元&阅读权限10&在线时间57 小时&注册时间&最后登录&
能单独发一个破解吗。。。。贵点没关系。。。下载那么多PART太麻烦了
UID7689&帖子2286&精华0&积分43954&资产43954 信元&发贴收入11925 信元&推广收入0 信元&附件收入18222 信元&下载支出21650 信元&阅读权限80&在线时间2917 小时&注册时间&最后登录&
cadence的形式验证工具一向不错！比formality好太多
UID328490&帖子91&精华0&积分19294&资产19294 信元&发贴收入560 信元&推广收入0 信元&附件收入45165 信元&下载支出26381 信元&阅读权限70&在线时间837 小时&注册时间&最后登录&
第一bn案是e的
UID756352&帖子27&精华0&积分5&资产5 信元&发贴收入135 信元&推广收入0 信元&附件收入0 信元&下载支出287 信元&阅读权限10&在线时间7 小时&注册时间&最后登录&
这是干啥的？
UID138117&帖子40&精华0&积分203359&资产203359 信元&发贴收入390 信元&推广收入0 信元&附件收入219962 信元&下载支出6093 信元&阅读权限100&在线时间282 小时&注册时间&最后登录&
第一bn案是e的
hugo_hsinchu 发表于
麻┰僦匦download一次,我^了,
第一n案是OK的
[通过 QQ、MSN 分享给朋友]君，已阅读到文档的结尾了呢~~
Conformal解决DesignWareLEC..
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
Conformal解决DesignWareLEC比对问题Flow
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer--144.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口你的位置：
请问能用Conformal LEC做FPGA的形式验证吗？
对综合工具什么的有什么要求吗？可以用芯片厂商自带的工具吗？比如xilinx的ISE？谢谢

我要回帖

更多关于 conformal mask 的文章

 

随机推荐