在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 5774|回复: 20

形式验证方面的资料。

[复制链接]
发表于 2009-2-24 16:38:53 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

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

x
全是通过学校图书馆下下来的,外面网站上很难下得到。有兴趣的朋友可以参考一下。

在形式验证和ATPG中的布尔可满足性问题.pdf

132.51 KB, 下载次数: 53 , 下载积分: 资产 -2 信元, 下载支出 2 信元

数字电路形式化验证技术及其实现.zip

3.22 MB, 下载次数: 153 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2009-2-24 16:53:58 | 显示全部楼层
继续ing

一种基于状态机的形式化验证技术.pdf

177.18 KB, 下载次数: 21 , 下载积分: 资产 -2 信元, 下载支出 2 信元

混成系统的形式验证.pdf

445.58 KB, 下载次数: 30 , 下载积分: 资产 -2 信元, 下载支出 2 信元

基于断言的形式验证方法研究与应用.pdf

319.19 KB, 下载次数: 32 , 下载积分: 资产 -2 信元, 下载支出 2 信元

基于断言的形式验证方法应用研究.pdf

401.47 KB, 下载次数: 41 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2009-2-24 16:55:52 | 显示全部楼层
继续ing

组合电路的形式验证方法研究.rar

2.06 MB, 下载次数: 58 , 下载积分: 资产 -2 信元, 下载支出 2 信元

形式验证技术的应用研究.rar

1.83 MB, 下载次数: 78 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2009-2-24 17:15:58 | 显示全部楼层
上传速度有点慢

具有公平性约束的CTL部分状态空间模型检测.pdf

153.3 KB, 下载次数: 22 , 下载积分: 资产 -2 信元, 下载支出 2 信元

基于断言的硬件功能验证技术.pdf

324.46 KB, 下载次数: 28 , 下载积分: 资产 -2 信元, 下载支出 2 信元

BDD实现方法及改进方法的研究.rar

2.61 MB, 下载次数: 44 , 下载积分: 资产 -2 信元, 下载支出 2 信元

基于BDD的谓词分析与优化.pdf

303.74 KB, 下载次数: 37 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2009-2-24 17:20:42 | 显示全部楼层
再发一些
发表于 2009-2-24 18:08:03 | 显示全部楼层
I like it.
But can you please  zip them together.
I don't have so many money.
发表于 2009-2-24 20:31:02 | 显示全部楼层

谢谢老兄

谢谢楼主了
发表于 2009-2-24 22:25:40 | 显示全部楼层
一些论文,可以到大学图书馆的数据库里面查阅到。
发表于 2009-2-26 00:59:36 | 显示全部楼层
HEHE,太多了
发表于 2009-2-26 01:29:02 | 显示全部楼层
Thanks a lot!But can you also find some documents about the structural verification in your university library database.It seems to be rare on it.
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

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

GMT+8, 2024-11-24 17:40 , Processed in 0.030391 second(s), 10 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表