(Springer:2014) Correct-by-Construction Approaches for SoC Design

fkrhenryolanga · 发表于 2014-5-22 02:05:23

thnks a lot

杀猪的日子 · 发表于 2014-6-4 14:40:55

that's new book ?

Ralphjh · 发表于 2014-8-1 14:29:45

内容比较少见的书本，谢谢

gsylogo · 发表于 2014-9-23 11:09:51

先看看吧

学晋 · 发表于 2014-9-24 14:14:32

看看看看

nebulae_pu · 发表于 2014-9-25 16:34:16

谢谢分享

modelsim64 · 发表于 2014-9-28 18:48:23

谢谢,看看

tangzhonghua16 · 发表于 2014-10-1 22:10:31

太好的资料了

modelsim64 · 发表于 2014-10-9 22:16:27

一本使用形式化方法进行SOC规格和验证的书,感觉不太实用,仅仅提供了一种方法

icfans3 · 发表于 2015-6-17 11:04:13

谢谢分享~~~~~~~~~~

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

[原创] (Springer:2014) Correct-by-Construction Approaches for SoC Design