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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 8013|回复: 41

【eBook】The e-Hardware Verification Language

[复制链接]
发表于 2007-5-31 21:53:43 | 显示全部楼层 |阅读模式

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

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

x

http://www.amazon.com/e-Hardware-Verification-Language-Information-Technology/dp/1402080239/ref=pd_bxgy_b_img_b/105-1254510-1486027?ie=UTF8&qid=1180592052&sr=1-1

Book Description
This book provides a detailed coverage of the e-hardware verification language (HVL), state of the art in verification methodologies, and the use of eHVL as a facilitating verification tool in implementing a state of the art verification environment. To this end, the book provides a comprehensive description of the new concepts introduced by the e-language, e-language syntax, and its associated semantics. In addition, the book describes architectural views and requirements of verification environments (i.e. randomly generated environments, coverage driven verification environments, etc.). Verification blocks in the architectural views (i.e. Generators, Initiators, Collectors, Checkers, Monitors, Coverage Definitions, etc.) and their implementations using the eHVL are also discussed in detail in separate parts of the book. The book describes the eReuse Methodology (RM), the motivation for defining such a guideline and step-by-step instructions for building an eRM compliant eVerification Component (eVC). A complete implementation of a UART eRM compliant eVC is used as the working example for putting all topics in perspective.

This book is useful for a range of users, including junior verification engineers looking to learn just enough basic concepts and related syntax to get a head start on their project, advance users looking to enhance the effectiveness and quality of a verification environment, developers working to build eVerification Components and finally as reference for looking up specific information about a verification concept and its implementation using the eHVL.

The.E.Hardware.Verification.Language.part1.rar

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

The.E.Hardware.Verification.Language.part2.rar

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

The.E.Hardware.Verification.Language.part3.rar

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

The.E.Hardware.Verification.Language.part4.rar

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

头像被屏蔽
发表于 2007-6-1 07:12:04 | 显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
头像被屏蔽
发表于 2007-6-1 07:13:31 | 显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽
发表于 2007-6-1 07:29:51 | 显示全部楼层
Zyson发ebook,必属精品!
发表于 2007-6-14 00:34:02 | 显示全部楼层
好书...
发表于 2007-6-17 16:34:33 | 显示全部楼层
正需要,谢谢楼主!
发表于 2007-9-27 10:55:35 | 显示全部楼层
强烈支持~~
发表于 2007-9-27 11:22:36 | 显示全部楼层
谢谢!!!!!!!!!!!!
发表于 2008-2-13 20:47:27 | 显示全部楼层
this is a wonderful reference book.
发表于 2008-2-13 20:50:10 | 显示全部楼层
although systemverilog will become verification main stream, E is still worth to learn
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-4-19 19:00 , Processed in 0.030144 second(s), 7 queries , Gzip On, Redis On.

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