数字前端及FPGA设计相关书目泛读及点评

正文

请到「今天看啥」查看全文

初学cpu设计（完全教程）

抛 开逻辑架构, 来演绎内核开发, 只不过是照猫画虎, 能有多大的价值,为什么总有人避重就轻, 先感谢译者的辛勤劳动, 但能不能修整一下框图绘制,如果你不是pcb工具, fpga ide中都包含了绘制工具, 如果都不会也没关系,流程图工具也可绘制框图, 就不要再用画笔, 每每看到这类粗犷霸气的画风,为啥不去为中国动漫做点贡献

8位rise设计

如果呆丸人的ic都是这么来的, 我只能说深表同情!

片上系统设计思想与源代码分析

目前为止对于openrise1000/1200(or1000/1200)的注释翻译最全的一本书,其中对于相关外设的资源都值得收藏.
但大部分基础, 继续深入还需要找其他的资源

Verilog超详细教程-北京大学于敦山

最全的verilog语法书, 虽然是课件, 描述很到位, 值得收藏.

Verilog HDL程序设计实例详解

抄来的大量的开源ip, 可以备用, 省得自己的查找.

Synthesis And Optimization Of Digital Circuits

对于组合逻辑和时序逻辑的比较, 很详细.
之后的对于图论的背景知识的大篇幅介绍, 不知何意?
明白了, 之后的内容都是基于图论展开的, 之后的vhdl综合和优化, 逻辑层的综合和优化, 架构的综合和优化, 调度算法,多层组合逻辑优化, 时序逻辑的优化.
但是公式化太明显, 关键的概念有蜻蜓点水之嫌.
满足一本教材的铁律: 将简单的事情复杂, 将复杂东西简单化.

Reconfigurable Computing The Theory and Practice of FPGA-Based Computation

基于FPGA构造并行机的论文集, 无爱, 果断删除.

FSM based Digital Design using Verilog HDL

很早之前就听过这本书, 一看之下确实不错, 可以学到状态图的绘制,用布尔运算来简化状态图, 本书基本使用布尔公式描述状态图.
一直有一个问题, 如何使得FSM的同步处理更加可读? 这本书有介绍一些, 以及FSM异步处理.

Digital Signal Processing with Field Programmable Gate Arrays, 3rd

重点还是放在信号的数字处理的原理公式的推导上, 简单的公式有附带vhdl代码, 至于后面的mcu设计纯属卖萌, 介绍了指令集的设计, 若干软核之间的比较

Digital Design and Computer Architecture

前面对于数字电路的设计有点长,后半部对于难以抉择vhdl和verilog的童鞋很有帮助, 因为会同时给vhdl和verilog的实例,毕竟是定位为入门书籍, 知识面的收集还是很广, 而且是高清无码, 难得.
值得收藏!

Advanced FPGA Design Architecture Implementation and Optimization

喜欢追求细节的技术流们, 有福了, 这本书就是针对fpga开发中的一些细节问题展开.
奇怪为什么没人翻译了?

vhdlqrc + vlogqrc

vhdl和verilog的语法卡片

RTL.Hardware.Design.Using.VHDL等

RTL.Hardware.Design.Using.VHDL
The Designer's Guide to VHDL
VHDL实用教程

VHDL数字电路设计教程-Circuit Design with VHDL

vhdl语法书, 任选一本即可.

Systemverilog功能验证

当做sv的语法书来看吧, 其中石头剪子布的示例有点蛋疼!

SystemVerilog验证+ChrisSpear著_V2

还是当sv语法书来看吧, 但是语法描述比Systemverilog功能验证细很多.

SystemVerilog验证方法学(Verification Methodology Manual for SystemVerilog)

这似乎是国内的一本圣殿级的书, 但用来入门不太适合, 当你具备了一些systemVerilog验证经验之后,再来查看书中的推荐规则, 可能更容易理解. 以及基于VMM平台展开, 目前已经不是主流验证平台.
没有中英文对照看, 听过翻译中存在一些问题, 提醒一下.

高级验证方法学（中文版）（by mentor）

mentor提供一份文档, 基于avm平台的事务级建模, 名称为高级验证, 实则一些简单的systemVerilog和systemc示例,在学习的过程中, 你需要时刻提醒自己, 最终的目的是什么?

Verilog and SystemVerilog Gotchas

包含101条verilog和systemVerilog编程时容易造成的错误, 以及如何避免.
有空的时候可以看看

The Power of Assertions in SystemVerilog

基于SystemVerilog 2009最新版本的断言处理, 但是描述有点过细, 像是教材.后部的验证库是OVL.

Writing testbenches using SystemVerilog

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

SystemVerilog+for+Verification-2nd
SystemVerilog+for+Verification-V3 (没什么长进)

与 其说是一本书, 不如说是Verification Methodology Manual for SystemVerilog,The Power of Assertions in SystemVerilog的读书笔记, 其中插图都是直接复制, 作者也太懒了, 来自Writing testbenches using SystemVerilog

SystemVerilog for Design(2nd edition)

基于systemVerilog 2005版本的基本语法说明, 大概作者真的认为systemVerilog就是verilog的扩展.

SystemVerilog Assertions Handbook

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

step-by-step functional verification with systemverilog and ovm

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

Hardware Verification with SystemVerilog

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

Hardware Verification with C++

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

Generating Hardware Assertion Checkers

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

Digital System Design with SystemVerilog(draft)

前半部分对于verilog语法的讲解, 让我有点惊讶, 不过既然是草稿, 也就不多说了.

Creating Assertion-Based IP

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

Assertion Based Design

基于OVL,PSL的断言生成, 描述风格与VMM,The Power of Assertions in SystemVerilog很相似, 附录中也介绍了systemverilog 3.1a的断言.
推荐收藏备用.

A Practical Guide for SystemVerilog Assertions

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

业务联系请加个人微信号：jack_eetop 或 QQ:228265511

全力打造中国电子工程师微信第一品牌！

点击左下角阅读原文

请到「今天看啥」查看全文