掌握形式验证的HDL设计方法

hryancool · 发表于 2006-12-10 13:18:46

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

x

掌握形式验证的HDL设计方法

frank123 · 发表于 2006-12-16 21:31:29

xiexie

freelion · 发表于 2007-4-27 14:23:25

好像在哪里见过

michael_chen · 发表于 2007-6-19 22:25:39

thank a lot!

michael_chen · 发表于 2007-6-19 22:27:12

不得不说明,这资料真的不怎么样!!

ZTZ · 发表于 2007-6-27 07:49:47

提示: 作者被禁止或删除内容自动屏蔽

freebirdlee · 发表于 2007-7-9 13:17:39

希望有人上传一个formality的详细一点的教程。

freelion · 发表于 2007-7-9 19:19:31

是哪种形式验证呀

duke1982 · 发表于 2007-9-4 07:35:14

请问,基于形式的验证与基与模拟仿真的验证的区别是什么?

fengyelin126 · 发表于 2008-4-14 21:09:03

thank you for sharing

ZTZ ZTZ 当前离线积分 108 头像被屏蔽	发表于 2007-6-27 07:49:47 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
ZTZ ZTZ 当前离线积分 108 头像被屏蔽	EETOP创芯人才网职位发布入口
	回复支持反对举报

站长推荐 /1