设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜全文

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › IC验证 › IC验证讨论 › formality中出现unmatched points

返回列表发新帖

查看: 11404|回复: 9

[求助] formality中出现unmatched points

odielpx odielpx 当前离线积分 89 IP卡狗仔卡	发表于 2011-10-25 23:22:53 \| 显示全部楼层 \|阅读模式
odielpx odielpx 当前离线积分 89 IP卡狗仔卡	相关帖子 • formality形式验证出现进度条停滞 • 大家来讨论讨论多bit的寄存器好坏 • 在做PLL的设计，遇到个问题：怎样提高D触发器的速度呢？ • 前端写code有时序考虑吗？ • LDO 设计出现奇怪的问题 • 急寻Sigma Delta类型ADC、DAC的IC设计高手，进行项目合作 • 厦门-ISSI-矽恩微电子诚聘模拟IC精英-欢迎加盟！ • 关于跨时钟域 • 高薪聘请数字IC前端设计/验证工程师
	回复使用道具举报提升卡沉默卡喧嚣卡变色卡

杀猪的日子杀猪的日子当前离线积分 634 IP卡狗仔卡	发表于 2011-10-26 11:40:15 \| 显示全部楼层
杀猪的日子杀猪的日子当前离线积分 634 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

odielpx odielpx 当前离线积分 89 IP卡狗仔卡	楼主\| 发表于 2011-10-26 19:35:56 \| 显示全部楼层
odielpx odielpx 当前离线积分 89 IP卡狗仔卡
	回复支持反对使用道具举报

buhekele buhekele 当前离线积分 6792 IP卡狗仔卡	发表于 2011-11-14 16:11:46 \| 显示全部楼层
buhekele buhekele 当前离线积分 6792 IP卡狗仔卡
	回复支持反对使用道具举报

zhqhzj zhqhzj 当前离线积分 18204 IP卡狗仔卡	发表于 2013-8-27 16:29:12 \| 显示全部楼层
zhqhzj zhqhzj 当前离线积分 18204 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对使用道具举报

zhqhzj zhqhzj 当前离线积分 18204 IP卡狗仔卡	发表于 2013-8-27 16:31:46 \| 显示全部楼层
zhqhzj zhqhzj 当前离线积分 18204 IP卡狗仔卡
	回复支持反对使用道具举报

0216liqian 0216liqian 当前离线积分 465 IP卡狗仔卡	发表于 2013-8-29 13:02:48 \| 显示全部楼层
0216liqian 0216liqian 当前离线积分 465 IP卡狗仔卡	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持 0 反对 1 使用道具举报

bysg312 bysg312 当前离线积分 6499 IP卡狗仔卡	发表于 2019-8-31 17:44:27 \| 显示全部楼层
bysg312 bysg312 当前离线积分 6499 IP卡狗仔卡
	回复支持反对使用道具举报

bysg312 bysg312 当前离线积分 6499 IP卡狗仔卡	发表于 2019-8-31 17:48:48 \| 显示全部楼层
bysg312 bysg312 当前离线积分 6499 IP卡狗仔卡
	回复支持反对使用道具举报

ZHZIC ZHZIC 当前离线积分 61733 IP卡狗仔卡	发表于 2020-8-9 12:06:09 \| 显示全部楼层
ZHZIC ZHZIC 当前离线积分 61733 IP卡狗仔卡
	回复支持反对使用道具举报

返回列表发新帖

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

GMT+8, 2026-1-12 13:19 , Processed in 0.163770 second(s), 6 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

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