成功加入购物车
[美]维加亚拉哈文(Vijayaraghavan S.) 著; 陈俊杰 译 / 清华大学出版社 / 2006-10 / 平装
售价 ¥ 80.00
品相 八五品
优惠 满包邮
延迟发货说明
上书时间2024-04-11
卖家超过10天未登录
System Verilog Assertions应用指南
本书的写作方式可以使工程师快速掌握SystemVerilog断言。第0、1和2章,可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章,读者应该能在他们的设计/验证环境中写断言。
第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节,以这些章节作为起点开始写断言。这些章节也可以作为指导。
随书附一张光盘。本书中所有例子都可以用VCS2005.06发行版运行,也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。
第0章基于断言的验证第1章SVA介绍1.1什么是断言1.2为什么使用SystemVerilog断言(SVA)1.3SystemVerilog的调度1.4SVA术语1.4.1并发断言1.4.2即时断言1.5建立SVA块1.6一个简单的序列1.7边沿定义的序列1.8逻辑关系的序列1.9序列表达式1.10时序关系的序列1.11SvA中的时钟定义1.12禁止属性1.13一个简单的执行块1.14蕴含操作符1.14.1交叠蕴含1.14.2非交叠蕴含1.14.3后续算子带固定延迟的蕴含1.14.4使用序列作为先行算子的蕴含1.15SvA检验器的时序窗口1.15.1重叠的时序窗口1.15.2无限的时序窗口1.16“ended”结构1.17使用参数的SVA检验器1.18使用选择运算符的SVA检验器1.19使用true表达式的SVA检验器1.20“$past”构造1.21重复运算符1.21.1连续重复运算符[*]1.21.2用于序列的连续重复运算符[*]1.21.3用于带延迟窗口的序列的连续重复运算符[*]1.21.4连续运算符[*]和可能性运算符1.21.5跟随重复运算符[->]1.21.6非连续重复运算符[=]1.22“and”构造1.23“intersect”构造1.24“or”构造1.25“firstmatch”构造1.26“throughout”构造1.27“within”构造1.28内建的系统函数1.29“disableiff”构造1.30使用“intersect”控制序列的长度1.31在属性中使用形参1.32嵌套的蕴含1.33在蕴含中使用if/else1.34SVA中的多时钟定义1.35“matched”构造1.36“expect”构造1.37使用局部变量的SVA1.38在序列匹配时调用子程序1.39将SVA与设计连接1.40SVA与功能覆盖第2章SVA模拟方法论2.1一个被验证的实例系统2.1.1主控设备2.1.2中间设备2.1.3目标设备2.2块级验证2.2.1SVA在设计块中的应用2.2.2仲裁器的验证2.213模拟中针对仲裁器的SVA检验2.2.4主控设备的验证2.2.5模拟中针对主控设备的SVA检验2.2.6胶合(Glue)的验证2.2.7模拟中针对胶合逻辑(gluelogic)的SVA检验2.2.8目标设备的验证2.2.9模拟中针对目标设备的SVA检验2.3系统级验证2.4功能覆盖2.4.1实例系统的覆盖率计划2.4.2功能覆盖小结2.5用于创建事务日志的SVA2.6用于FPGA原型测试的SVA2.7SVA模拟方法的小结第3章SVA在有限状态机中的应用3.1设计例子——FSM13.1.1FSMl的功能描述3.1.2FSMl的SVA检验器3.2设计实例——FSM23.2.1FSM2的功能描述3.2.2FSM2的SVA检验器3.2.3有时序窗口协议的FSM23.3在FSM中应用SVA的小结第4章SVA用于数据集约型(DATAINIENSVE)的设计4.1简单乘法器的检验4.2设计实例——算术单元4.2.1WHT算术4.2.2WHT硬件的实现4.2.3WHT模块的SVA检验器4.3设计实例一PEG的数据通路设计4.3.1三模块的深入探讨4.3.2用于JPEG设计的SVA检验器4.3.3.IPEG模型的数据检验4.4数据集约型设计的小结第5章SVA储存器5.1存储控制系统实例5.1.1CPU—AHB接口操作5.1.2存储控制器的操作5.2SDRAM的验证5.3SRAM/FLASH的验证5.4DDR-SDRAM的验证5.5存储器SVA的小结第6章SVA协议接口6.1PCI简介6.1.1一个PCI读出事务的实例6.1.2PCI写入事务实例6.2PCI系统实例6.3情形1——主控DUT设备6.4情形2——目标DUT设备6.5情形3——系统级断言6.6用于标准协议的SVA小结第7章对检验器的检验7.1断言验证7.2双信号SVAAssenionTest7.2.1双信号的逻辑关系7.2.2电平敏感逻辑关系激励的产生7.2.3边沿敏感逻辑关系激励的产生7.2.4双信号的时序关系7.2.5时序关系激励的产生7.2.6双信号的重复关系7.2.7双信号ATB环境7.3一个PCI检验器的ATB实例7.4检验器检验小结
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30