《SOC的形式化验证方法和关键路径约束方法》

sdwsh1 · 发表于 2011-9-18 19:00:55

回复 1# wgod

很好的资料，谢谢共享！

dongge10 · 发表于 2011-9-20 09:23:29

hao dongxi

chen.terry · 发表于 2011-9-20 10:39:20

是好资料？？？？！！！！

yannanfei.fpga · 发表于 2011-9-27 22:26:14

希望实用点

kate2011 · 发表于 2011-11-5 13:00:05

在学形式化验证，谢谢分享

dodoee · 发表于 2011-11-16 18:07:09

全部都是期刊上的论文，都只有2-3 页，、。。。。。。。。。。。

dodoee · 发表于 2011-11-16 18:09:23

全部都是期刊上的论文，只有2-3 页。。。。。。。。。。。。。

zwjin_87 · 发表于 2011-12-13 22:06:10

感谢分享！~~~~

boliyu1987 · 发表于 2011-12-13 22:18:23

thank you

qqwang106 · 发表于 2011-12-15 01:48:37

THANKSSSSSSSS

站长推荐 /2