设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜全文

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › 用formality进行验证时，如何避免floating pin的存在而 ...

返回列表发新帖

查看: 6858|回复: 7

[解决] 用formality进行验证时，如何避免floating pin的存在而导致形式验证通不过

智乐智乐当前离线积分 33940 IP卡狗仔卡	发表于 2013-12-20 14:37:33 \| 显示全部楼层 \|阅读模式
智乐智乐当前离线积分 33940 IP卡狗仔卡	相关帖子 • formality时调用异步fifo的dw.sldb库怎么加进去呢？ • formality在验证时在Port上出现Aborted，从而导致Verification inconclusive • Formality的RTL和网表对比出错 • 关于FORMALITY的一个问题 • Floorplan阶段如何根据oad放置相应的pin的位置 • 有关IC615 floating license server • reg 作为spare cell 时其CK pin怎么处理 • 请问时钟引脚的设置问题 • layout-xl生成pin，会有pin label和terminal
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

智乐智乐当前离线积分 33940 IP卡狗仔卡	楼主\| 发表于 2013-12-20 17:40:36 \| 显示全部楼层
智乐智乐当前离线积分 33940 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

forestimber forestimber 当前离线积分 2466 IP卡狗仔卡	发表于 2013-12-21 13:48:06 \| 显示全部楼层
forestimber forestimber 当前离线积分 2466 IP卡狗仔卡
	回复支持反对使用道具举报

智乐智乐当前离线积分 33940 IP卡狗仔卡	楼主\| 发表于 2013-12-24 10:15:58 \| 显示全部楼层
智乐智乐当前离线积分 33940 IP卡狗仔卡
	回复支持反对使用道具举报

999 999 当前离线积分 515 IP卡狗仔卡	发表于 2015-8-8 10:50:28 \| 显示全部楼层
999 999 当前离线积分 515 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

dboyman dboyman 当前离线积分 9472 IP卡狗仔卡	发表于 2015-12-29 10:10:02 \| 显示全部楼层
dboyman dboyman 当前离线积分 9472 IP卡狗仔卡	EETOP创芯人才网职位发布入口
	回复支持反对使用道具举报

Riker Riker 当前离线积分 174 IP卡狗仔卡	发表于 2016-3-15 04:16:31 \| 显示全部楼层
Riker Riker 当前离线积分 174 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

小美666 小美666 当前离线积分 1777 IP卡狗仔卡	发表于 2024-7-23 09:41:21 \| 显示全部楼层
小美666 小美666 当前离线积分 1777 IP卡狗仔卡	EETOP创芯人才网职位发布入口
	回复支持反对使用道具举报

返回列表发新帖

手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2026-1-13 08:52 , Processed in 0.045564 second(s), 12 queries , Gzip On, MemCached On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表