osoon2008

Writing testbenches using SystemVerilog
---------------------------------------------------------------------
想不到这本书能有400多页,作者肯定死了不少脑细胞.
通篇的泛泛而谈, 示例简单到不能再简单, 对于稍稍复杂一点内容一笔带过,
断言只有5页, 对于语言的深度细节根本没有提及.
垃圾一本.怎么这样的书偏偏出了中文版, 呵呵!

osoon2008

SystemVerilog+for+Verification-2nd
SystemVerilog+for+Verification-V3 (没什么长进)
------------------------------------------------------------------
与其说是一本书, 不如说是Verification Methodology Manual for SystemVerilog,
The Power of Assertions in SystemVerilog的读书笔记,
其中插图都是直接复制, 作者也太懒了, 来自Writing testbenches using SystemVerilog

[ 本帖最后由 osoon2008 于 2013-11-8 07:28 编辑 ]

osoon2008

SystemVerilog for Design(2nd edition)
------------------------------------------------------------------------
基于systemVerilog 2005版本的基本语法说明, 大概作者真的认为systemVerilog就是verilog的扩展.

osoon2008

SystemVerilog Assertion Handbook
--------------------------------------------------------------------------
对于属性,序列和断言都是详细的描述, 应该是教材.
只是这是一本扫描版, 且不带ocr, 我的目录中有第二版, 但是只有目录和前言, 不明觉厉.
当中也有污损和少量缺页.

osoon2008

step-by-step functional verification with systemverilog and ovm
------------------------------------------------------------------------------------------
前1/4的部分简单介绍了systemVerilog的语言特点和验证方法学.
之后的内容都是依据ovm展开的, 十分的详细和完整, 流口水中...............

osoon2008

Hardware Verification with SystemVerilog
----------------------------------------------------------------------
意图使用现成的chip进行systemverilog验证, 通篇没有硬件的介绍和配置,
加入一些不明觉厉的组件, 给出一些不知所谓的框图, 于是乎一顿胡吹海侃,
深藏功与名.

osoon2008

Hardware Verification with C++
-----------------------------------------------------------
没想到Hardware Verification with SystemVerilog还能出续集, 如同没想到样板戏能有8个,
在群魔乱舞的年代, 只有想不到, 没有做不到吧.
似乎又证明了那句话, 越风骚的排版, 越反衬内容的空洞和单薄,
300页的内容收拾收拾也就100页.

osoon2008

Generating Hardware Assertion Checkers
------------------------------------------------------------------------
越看越像是一个数学专著, 不是我等想学点东西混点小钱的屌丝可以驾驭的,
那位教授收了它吧, 光参考纲目也够研究好一会的.

osoon2008

Digital System Design with SystemVerilog(draft)
-------------------------------------------------------------------------
前半部分对于verilog语法的讲解, 让我有点惊讶, 不过既然是草稿, 也就不多说了.

osoon2008

Creating Assertion-Based IP
----------------------------------------------------------
基于OVM/AVM, 实例也是来自mentor官网, 只是将其中的断言复制出来,
给了一些简单说明,可作为断言编写的辅导性的书籍, 有空我会翻译出来, 请期待,
给个好评吧, 亲.

osoon2008

Assertion-Based Design
-------------------------------------------------------
基于OVL,PSL的断言生成, 描述风格与VMM,The Power of Assertions in SystemVerilog
很相似, 附录中也介绍了systemverilog 3.1a的断言.

推荐收藏备用.

osoon2008

A Practical Guide for SystemVerilog Assertions
--------------------------------------------------------------------------------
很喜欢一个一个知识点细细讲来,不紧不慢的描述风格.
出版是2005, 应该是使用systemverilog 3.1a版本.
其中对于接口, sdram, pci都是介绍. 强烈推荐
已有中文版SystemVerilog+Assertions应用指南,
应该还有随书光盘.

[ 本帖最后由 osoon2008 于 2013-11-8 10:46 编辑 ]

osoon2008

Timequest应用文档
--------------------------------------------------------------
整理完毕, 其他的fpga验证书籍会另开一贴.

osoon2008

刚在犄角旮旯里又发现几本,一并发了.

Writing Testbenches--Functional Verification of HDL Models
1版和2版,
---------------------------------------------------------------------------
不知道是不是作者在这本书,吧压箱底的东西都一股脑掏出来了, 以至于Writing Testbenches using SystemVerilog
没啥好写的, 可惜他没有学过三个代表, 没领会与时俱进的奥义, 不能不说是遗憾. 早应该将共产主义的最新研究
成果在全世界共享, 不然将是全人类的悲剧.

可惜2版是扫描的, 提醒.
使用verilog和vhdl编写testbench, 只此一书.

[ 本帖最后由 osoon2008 于 2013-11-11 16:04 编辑 ]

osoon2008

Constraint-Based Verification
----------------------------------------------------------
由于是基于verilog和PSL, 当前systemverilog中使用序列和属性验证来
替换了基于约束的验证,
给出一些底层的验证算法, 没时间研究了.

osoon2008

A Practical Guide to Adopting the Universal Verification Methodology
---------------------------------------------------------------------------------------------------------
当前uvm的唯一的一本专著, 可惜对于平台的介绍有限.

osoon2008

SOC.Verfication.Methodology.and.Techniques
-------------------------------------------------------------------------
只停留在方法论的简单描述上, 给出的一些verilog示例有拼凑字数之嫌.

https://download.eeworld.com.cn/detail/huhuhah0009/165056

osoon2008

Priciples_of_Verifiable_RTL_Design,_2nd_Ed
-----------------------------------------------------------------------------------
2001出版, 如果还想使用verilog创建验证平台, 可以看看. 不光是编写testbench
书是好书, 只是有点老了.

osoon2008

Functional_Verification_Coverage_Measurement_and_Analysis
------------------------------------------------------------------------------------------
基于e语言的覆盖验证, 现在重新学习e语言有点不智.

https://download.eeworld.com.cn/detail/lamaba/157245

[ 本帖最后由 osoon2008 于 2013-11-11 16:28 编辑 ]

osoon2008

Effective.Functional.Verification.Principles.and.Processes
--------------------------------------------------------------------------------
重点介绍了IC验证工程师需要了解的验证流程, 基于verilog和perl