设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜全文

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › Formality constraints

返回列表发新帖

查看: 5568|回复: 7

[求助] Formality constraints

平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	发表于 2014-7-27 15:26:09 \| 显示全部楼层 \|阅读模式
平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	相关帖子 • formality时调用异步fifo的dw.sldb库怎么加进去呢？ • formality在验证时在Port上出现Aborted，从而导致Verification inconclusive • Formality的RTL和网表对比出错 • 关于FORMALITY的一个问题 • 请教Synposys DC中的时序约束问题 • set_pin_physical_constraints中，-depth是什么意思 • formality • 形式验证 • [Baidu Pan] Formality 2014.09 SP3
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	楼主\| 发表于 2014-7-27 19:13:41 \| 显示全部楼层
平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

icfbicfb icfbicfb 当前离线积分 177522 IP卡狗仔卡	发表于 2014-7-28 08:14:43 \| 显示全部楼层
icfbicfb icfbicfb 当前离线积分 177522 IP卡狗仔卡
	回复支持反对使用道具举报

平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	楼主\| 发表于 2014-7-28 23:36:25 \| 显示全部楼层
平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡
	回复支持反对使用道具举报

icfbicfb icfbicfb 当前离线积分 177522 IP卡狗仔卡	发表于 2014-7-29 13:44:56 \| 显示全部楼层
icfbicfb icfbicfb 当前离线积分 177522 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	楼主\| 发表于 2014-8-10 22:14:35 \| 显示全部楼层
平波秋水99 平波秋水99 当前离线积分 2396 IP卡狗仔卡	EETOP创芯人才网职位发布入口
	回复支持反对使用道具举报

东方之子yj 东方之子yj 当前离线积分 4929 IP卡狗仔卡	发表于 2015-7-13 16:36:10 \| 显示全部楼层
东方之子yj 东方之子yj 当前离线积分 4929 IP卡狗仔卡	EETOP创芯人才网简历投递入口
	回复支持反对使用道具举报

我要去NV數位我要去NV數位当前离线积分 1859 IP卡狗仔卡	发表于 2024-4-23 10:47:05 \| 显示全部楼层
我要去NV數位我要去NV數位当前离线积分 1859 IP卡狗仔卡	EETOP创芯人才网职位发布入口
	回复支持反对使用道具举报

返回列表发新帖

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

GMT+8, 2026-1-12 12:37 , Processed in 0.345827 second(s), 5 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

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