硬件设计验证 基于模拟与形式的方法【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

硬件设计验证 基于模拟与形式的方法PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 设计验证的缘由1

1.1什么是设计验证1

1.2验证的基本原理2

1.3验证方法学5

1.4基于模拟的验证与形式验证的比较9

1.5形式验证的局限性10

1.6 Verilog语言调度和执行语义简介11

1.7本章小结14

第2章 编写验证的代码15

2.1功能正确性16

2.2时序正确性24

2.3模拟的性能28

2.4可移植性与可维护性34

2.5可综合性、可调试性与通用工具兼容性37

2.6基于周期的模拟39

2.7硬件模拟/仿真41

2.8 2状态与4状态模拟43

2.9 linter程序的设计与使用44

2.10本章小结44

2.11习题45

第3章 模拟器体系结构与操作48

3.1编译器48

3.2模拟器52

3.3模拟器的分类与比较72

3.4模拟器的操作与应用75

3.5增量式编译83

3.6模拟器控制台84

3.7本章小结85

3.8习题85

第4章 测试基准组成与设计90

4.1测试基准的分类与测试环境90

4.2初始化机制93

4.3时钟生成与同步97

4.4激励生成103

4.5响应评估108

4.6验证实用程序123

4.7测试基准至系统设计接口131

4.8常见的实际技术与方法132

4.9本章小结138

4.10习题138

第5章 测试构想、断言与覆盖142

5.1分层验证143

5.2测试规划145

5.3伪随机测试生成程序152

5.4断言155

5.5 SystemVerilog断言167

5.6验证覆盖174

5.7本章小结187

5.8习题188

第6章 调试进程与验证周期193

6.1故障捕获、范围压缩与错误跟踪193

6.2模拟数据转储199

6.3潜在故障原因的隔离202

6.4系统设计更新与维护：修改控制213

6.5回归、发布机制与流片标准215

6.6本章小结216

6.7习题217

第7章 形式验证初步224

7.1集合与运算224

7.2关系、划分、偏序集与格225

7.3布尔函数与表示231

7.4布尔函数运算符238

7.5有限状态自动机与语言241

7.6本章小结255

7.7习题256

第8章 判定图、等价检验与符号模拟259

8.1二叉判定图260

8.2判定图的变异274

8.3基于判定图的等价检验283

8.4布尔可满足性287

8.5符号模拟295

8.6本章小结304

8.7习题305

第9章 模型检验与符号计算309

9.1性质、规范与逻辑309

9.2性质检验321

9.3符号计算与模型检验328

9.4符号CTL模型检验340

9.5计算改进346

9.6模型检验工具的使用350

9.7本章小结351

9.8习题351

参考文献355

缩写词汇表376