详细讲解形式化验证的书籍 advanced formal verification

kerl_cui · 发表于 2012-6-19 10:45:03

回复 1# CMOS3511

多谢楼主分享！

梦想口袋 · 发表于 2012-6-25 21:31:47

好东东，谢了

xielinfeng · 发表于 2012-6-26 11:30:43

正在找呢。

xielinfeng · 发表于 2012-6-27 10:36:36

好资料就要顶。

索手锋芒 · 发表于 2012-9-10 10:33:11

有中文的就好了，可以用快速浏览一下

xiaoruozhou · 发表于 2012-12-3 15:51:56

好资料，顶一个！

immonster · 发表于 2012-12-5 10:28:17

无聊啊，还欠着版主的文没发呢

ngovanphuc · 发表于 2012-12-11 19:58:04

tks

netlist · 发表于 2013-1-15 11:28:23

谢谢分享~

kinglongzh · 发表于 2013-6-20 13:23:32

ding~~~~~~~~~``

账号		自动登录	找回密码
密码			注册

[资料] 详细讲解形式化验证的书籍 advanced formal verification