图书介绍

SystemVerilog Assertions应用指南PDF|Epub|txt|kindle电子书版本网盘下载

SystemVerilog Assertions应用指南
  • （美）Srikanth Vijayaraghavan，（美）Meyyappan Ramanathan编著；陈俊杰等译 著
  • 出版社： 北京：清华大学出版社
  • ISBN：7302134413
  • 出版时间：2006
  • 标注页数：305页
  • 文件大小：10MB
  • 文件页数：324页
  • 主题词：电子电路－电路设计：计算机辅助设计

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：a7a5aeac879d756a6844a0cd6ab1746a

下载说明

SystemVerilog Assertions应用指南PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

图书目录

第0章　基于断言的验证1

第1章 SVA介绍5

1.1　什么是断言5

1.2 为什么使用SystemVerilog断言（SVA）6

1.3 SystemVerilog的调度8

1.4 SVA术语9

1.4.1 并发断言9

1.4.2　即时断言10

1.5 建立SVA块11

1.6　一个简单的序列12

1.7　边沿定义的序列13

1.8　逻辑关系的序列15

1.9　序列表达式15

1.10　时序关系的序列16

1.11 SVA中的时钟定义18

1.12　禁止属性19

1.13　一个简单的执行块21

1.14　蕴含操作符21

1.14.1 交叠蕴含22

1.14.2　非交叠蕴含23

1.14.3　后续算子带固定延迟的蕴含24

1.14.4　使用序列作为先行算子的蕴含25

1.15 SVA检验器的时序窗口27

1.15.1 重叠的时序窗口29

1.15.2　无限的时序窗口30

1.16 “ended”结构32

1.17　使用参数的SVA检验器35

1.18　使用选择运算符的SVA检验器36

1.19　使用true表达式的SVA检验器38

1.20　“＄past”构造39

1.21　重复运算符42

1.21.1　连续重复运算符［＊］43

1.21.2　用于序列的连续重复运算符［＊］44

1.21.3　用于带延迟窗口的序列的连续重复运算符［＊］46

1.21.4　连续运算符［＊］和可能性运算符47

1.21.5　跟随重复运算符［-＞］48

1.21.6　非连续重复运算符［＝］50

1.22　“and”构造51

1.23 “intersect”构造54

1.24 “or”构造56

1.25 “first_match”构造58

1.26 “throughout”构造60

1.27 “within”构造61

1.28 内建的系统函数63

1.29　“disable iff”构造65

1.30　使用“intersect”控制序列的长度66

1.31 在属性中使用形参68

1.32　嵌套的蕴含70

1.33　在蕴含中使用if/else71

1.34 SVA中的多时钟定义73

1.35　“matched”构造75

1.36　“expect”构造76

1.37　使用局部变量的SVA77

1.38 在序列匹配时调用子程序79

1.39　将SVA与设计连接81

1.40　SVA与功能覆盖83

第2章 SVA模拟方法论85

2.1　一个被验证的实例系统85

2.1.1 主控设备86

2.1.2 中间设备88

2.1.3 目标设备90

2.2　块级验证91

2.2.2　仲裁器的验证92

2.2.1 SVA在设计块中的应用92

2.2.3　模拟中针对仲裁器的SVA检验94

2.2.4　主控设备的验证96

2.2.5　模拟中针对主控设备的SVA检验98

2.2.6　胶合（Glue）的验证100

2.2.7　模拟中针对胶合逻辑（glue logic）的SVA检验102

2.2.8　目标设备的验证104

2.2.9　模拟中针对目标设备的SVA检验106

2.3　系统级验证108

2.4　功能覆盖114

2.4.1 实例系统的覆盖率计划115

2.4.2　功能覆盖小结124

2.5　用于创建事务日志的SVA124

2.6 用于FPGA原型测试的SVA127

2.7　SVA模拟方法的小结131

第3章　SVA在有限状态机中的应用133

3.1　设计例子——FSM1134

3.1.1　FSM1的功能描述134

3.1.2　FSM1的SVA检验器139

3.2　设计实例——FSM2143

3.2.1 FSM2的功能描述144

3.2.2 FSM2的SVA检验器148

3.2.3　有时序窗口协议的FSM2155

3.3 在FSM中应用SVA的小结159

第4章 SVA用于数据集约型（DATA iNTENSIVE）的设计161

4.1　简单乘法器的检验161

4.2　设计实例——算术单元163

4.2.1 WHT算术163

4.2.2 WHT硬件的实现164

4.2.3 WHT模块的SVA检验器165

4.3 设计实例——JPEG的数据通路设计168

4.3.1 三模块的深入探讨169

4.3.2　用于JPEG设计的SVA检验器172

4.3.3 JPEG模型的数据检验176

4.4　数据集约型设计的小结182

第5章　SVA储存器183

5.1 存储控制系统实例183

5.1.1 CPU-AHB接口操作183

5.1.2　存储控制器的操作186

5.2 SDRAM的验证189

5.3 SRAM/FLASH的验证208

5.4 DDR-SDRAM的验证215

5.5 存储器SVA的小结217

第6章 SVA协议接口219

6.1 PCI简介220

6.1.1 一个PCI读出事务的实例222

6.1.2 PCI写入事务实例223

6.2 PCI系统实例224

6.3 情形1——主控DUT设备225

6.4 情形2——目标DUT设备243

6.5　情形3——系统级断言259

6.6 用于标准协议的SVA小结263

第7章　对检验器的检验265

7.1 断言验证266

7.2 双信号SVA Assertion Test268

7.2.1　双信号的逻辑关系268

7.2.2 电平敏感逻辑关系激励的产生269

7.2.3 边沿敏感逻辑关系激励的产生272

7.2.4　双信号的时序关系275

7.2.5 时序关系激励的产生276

7.2.6　双信号的重复关系286

7.2.7 双信号ATB环境290

7.3 一个PCI检验器的ATB实例301

7.4　检验器检验小结305

热门推荐