设为首页收藏本站

在线咨询切换到宽版

eetop公众号

创芯大讲堂

创芯人才网

快捷导航

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › Analog/RF IC 设计 › Analog/RF IC 资料共享 › [eBook] Correct-by-Construction Approaches for SoC D ...

12 / 2 页

返回列表发新帖

楼主: pargar

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

发表于 2013-12-11 22:29:05 | 显示全部楼层

下载看看。

回复支持反对

发表于 2014-9-22 12:47:53 | 显示全部楼层

非常感谢!

回复支持反对

发表于 2014-10-9 22:21:57 | 显示全部楼层

太抽象,偏向形式验证,建模方法不太实用

回复支持反对

发表于 2017-1-21 09:53:02 | 显示全部楼层

Thank you !

回复支持反对

发表于 2022-7-22 21:00:19 | 显示全部楼层

学习

回复支持反对

12 / 2 页

返回列表发新帖

手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2025-5-26 06:14 , Processed in 0.080921 second(s), 3 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表