【下载】SystemVerilog专辑

genghis · 发表于 2007-12-31 01:10:55

本帖最后由 genghis 于 2011-7-22 21:45 编辑

《Digital System Design with SystemVerilog》 prentice hall 2009年10月出版。中文版为《SystemVerilog数字系统设计》,电子工业出版社2011年2月出版。

genghis · 发表于 2007-12-31 01:17:09

本帖最后由 genghis 于 2010-1-23 11:38 编辑

《A Practical Guide for SystemVerilog Assertion》，Springer 2005年4月出版。中文版为《SystemVerilog Assertions应用指南》，清华大学出版社2006年10月出版。附书光盘内容为书中所有代码。

genghis · 发表于 2007-12-31 01:24:22

本帖最后由 genghis 于 2010-12-3 23:04 编辑

《SystemVerilog Assertions Handbook for Formal and Dynamic Verification》2005年出版，2010年第二版。

genghis · 发表于 2007-12-31 01:25:08

本帖最后由 genghis 于 2011-7-23 13:20 编辑

《Assertion Based Design》(2nd edition) Kluwer Academic Publishers 2004年出版。
《The Power of Assertions in SystemVerilog》Springer 2010年9月出版。
《Generating Hardware Assertion Checkers》Springer 2008年8月出版。
《Creating Assertion-Based IP》Springer 2008年出版。

Generating Hardware Assertion Checkers.jpg

genghis · 发表于 2007-12-31 01:27:00

本帖最后由 genghis 于 2010-1-23 10:08 编辑

《Constraint-Based Verification》springer 2006年1月出版。

genghis · 发表于 2007-12-31 01:27:59

本帖最后由 genghis 于 2012-12-4 10:40 编辑

《Step-by-Step Functional Verification with SystemVeriiog and OVM》Hansen Brown Publishing Company 2008年出版
《A Practical Guide to Adopting the Universal Verification Methodology》Cadence Design System,Inc 2010年出版