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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 8358|回复: 33

[资料] 最新:<<The Power of Assertions in SystemVerilog >>

[复制链接]
发表于 2011-1-13 10:30:07 | 显示全部楼层 |阅读模式

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

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

x
Power of Assertions in SystemVerilog.pdf (3.46 MB, 下载次数: 463 ) tupian.jpg

Publisher: Springer | 2010 | PDF | 544 pages

This book provides a deeper understanding of the meaning of the enhancements contained in the new SystemVerilog 1800-2009 LRM. In particular, it discusses the context of practical deployment in hardware design projects. The material also addresses language implementation alternatives and their impact on simulation performance as well as the ability to debug them in simulation and formal verification environments. The underlying performance issues are illustrated for practical examples drawn from the author's experience.
发表于 2011-1-13 11:09:23 | 显示全部楼层
呵呵,谢谢楼主
发表于 2011-1-13 11:39:36 | 显示全部楼层
good reference for power control
发表于 2011-1-13 14:21:00 | 显示全部楼层
thansk
发表于 2011-1-13 14:21:16 | 显示全部楼层
try run
发表于 2011-1-13 23:09:49 | 显示全部楼层
已经有人发过了
发表于 2011-1-14 03:29:53 | 显示全部楼层
thanks, thanks and thanks.
发表于 2011-1-14 11:52:04 | 显示全部楼层
回复 1# wilfred


    ding lou zhu
发表于 2011-12-16 10:50:19 | 显示全部楼层
很好的材料
发表于 2012-3-8 20:24:38 | 显示全部楼层
很好的材料
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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


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

GMT+8, 2024-11-25 02:05 , Processed in 0.026373 second(s), 10 queries , Gzip On, Redis On.

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