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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 2035|回复: 5

Assertion-based Design 2Nd Ed

[复制链接]
发表于 2007-12-1 01:00:34 | 显示全部楼层 |阅读模式

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

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

x
Assertion-based Design 2Nd Ed
by Harry D. Foster, Adam C. Krolnik, David J. Lacey
http://www.amazon.com/gp/product/1402080271/002-0884070-0839231
Ch1 Introduction
Ch2 Assertion Methodology
Ch3 Specifying RTL Properties
Ch4 PLI-Based Assertions
Ch5 Functional Coverage
Ch6 Assertion Patterns
Ch7 Assertion Cookbook
Ch8 Specifying Correct Behavior
Appendix A Open Verification Library
Appendix B PSL Property Specification Language
Appendix C SystemVerilog Assertions

DownloadLink: http://rapidshare.com/files/73250820/Assertion-based_Design_2Nd_Ed.rar
 楼主| 发表于 2007-12-5 19:09:11 | 显示全部楼层
免费下载,欲下从速
发表于 2007-12-24 22:05:19 | 显示全部楼层
支持支持,大力支持。
 楼主| 发表于 2007-12-27 18:22:25 | 显示全部楼层
不要用下载工具下载,直接点击下载
发表于 2010-12-7 13:42:01 | 显示全部楼层
发表于 2011-8-6 03:44:30 | 显示全部楼层
link not wkingg
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

X

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

GMT+8, 2025-7-5 04:19 , Processed in 0.027310 second(s), 9 queries , Gzip On, MemCached On.

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