|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
本帖最后由 pipiw 于 2010-11-17 13:10 编辑
[size=120%]The Power of Assertions in SystemVerilog
By Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny
- Publisher: Springer
- Number Of Pages: 544
- Publication Date: 2010-10-22
- ISBN-10 / ASIN: 1441965998
- ISBN-13 / EAN: 9781441965998
Product Description:
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. |
|