形式化验证

gyf2h · 发表于 2008-12-14 23:32:51

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

x

那位有形式化验证的书籍

sunrisewu · 发表于 2008-12-24 14:35:08

什么叫做形式化验证啊。

linuxluo · 发表于 2008-12-28 21:32:59

是formal check还是equivalence check?

partysover · 发表于 2008-12-30 00:25:51

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

vwxy789 · 发表于 2008-12-30 22:11:57

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

zhongbang880 · 发表于 2008-12-31 18:01:30

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

duoshao · 发表于 2009-1-9 11:28:34

也来学习等高人给意见

eyeloveu · 发表于 2009-2-19 02:00:16

原帖由 linuxluo 于 2008-12-28 21:32 发表

 登录/注册后可看大图

是formal check还是equivalence check?

两者有什么区别？？？

vwxy187 · 发表于 2009-2-19 06:20:54

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

gootrip · 发表于 2009-2-19 15:35:06

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

partysover partysover 当前离线积分 55 头像被屏蔽	发表于 2008-12-30 00:25:51 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
partysover partysover 当前离线积分 55 头像被屏蔽
	回复支持反对举报

vwxy789 vwxy789 当前离线积分 115 头像被屏蔽	发表于 2008-12-30 22:11:57 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
vwxy789 vwxy789 当前离线积分 115 头像被屏蔽	畅销就业培训课《芯片验证从入门到精通》推荐就业，赢取高薪！
	回复支持反对举报

zhongbang880 zhongbang880 当前离线积分 80 头像被屏蔽	发表于 2008-12-31 18:01:30 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
zhongbang880 zhongbang880 当前离线积分 80 头像被屏蔽
	回复支持反对举报

vwxy187 vwxy187 当前离线积分 85 头像被屏蔽	发表于 2009-2-19 06:20:54 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
vwxy187 vwxy187 当前离线积分 85 头像被屏蔽
	回复支持反对举报

gootrip gootrip 当前离线积分 75 头像被屏蔽	发表于 2009-2-19 15:35:06 \| 显示全部楼层提示: 作者被禁止或删除内容自动屏蔽
gootrip gootrip 当前离线积分 75 头像被屏蔽
	回复支持反对举报

站长推荐 /1