孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

System Verilog Assertions应用指南

System Verilog Assertions应用指南
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] （Vijayaraghavan S.） 著 , 译
出版社: 清华大学出版社
2006-10
版次: 1
ISBN: 9787302134411
定价: 39.80
装帧: 平装
开本: 32开
纸张: 胶版纸
页数: 305页
字数: 294千字
分类: 计算机与互联网
68人买过
  • 　　本书的写作方式可以使工程师快速掌握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/else
    1.34SVA中的多时钟定义
    1.35“matched”构造
    1.36“expect”构造
    1.37使用局部变量的SVA
    1.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用于创建事务日志的SVA
    2.6用于FPGA原型测试的SVA
    2.7SVA模拟方法的小结
    第3章SVA在有限状态机中的应用
    3.1设计例子——FSM1
    3.1.1FSMl的功能描述
    3.1.2FSMl的SVA检验器
    3.2设计实例——FSM2
    3.2.1FSM2的功能描述
    3.2.2FSM2的SVA检验器
    3.2.3有时序窗口协议的FSM2
    3.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双信号SVAAssenionTest
    7.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检验器检验小结
  • 内容简介:
    　　本书的写作方式可以使工程师快速掌握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/else
    1.34SVA中的多时钟定义
    1.35“matched”构造
    1.36“expect”构造
    1.37使用局部变量的SVA
    1.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用于创建事务日志的SVA
    2.6用于FPGA原型测试的SVA
    2.7SVA模拟方法的小结
    第3章SVA在有限状态机中的应用
    3.1设计例子——FSM1
    3.1.1FSMl的功能描述
    3.1.2FSMl的SVA检验器
    3.2设计实例——FSM2
    3.2.1FSM2的功能描述
    3.2.2FSM2的SVA检验器
    3.2.3有时序窗口协议的FSM2
    3.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双信号SVAAssenionTest
    7.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检验器检验小结
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
相关图书 / 更多
System Verilog Assertions应用指南
SynchronousReduction-sinteringandAsynchronous
胡文韬、王化军、孙传尧 著
￥20.61 起
System Verilog Assertions应用指南
SystemVerilog硬件设计
（印）瓦伊巴夫·塔拉特（VaibbhavTaraate）
￥45.20 起
System Verilog Assertions应用指南
Sylvan Summer Smart Workbook: Between Grades 1 & 2
Sylvan Learning
￥75.00 起
System Verilog Assertions应用指南
SylixOS设备驱动程序开发
韩辉 编著
￥26.50 起
System Verilog Assertions应用指南
Symphonies Nos. 8 & 9
Schubert；Franz
￥198.00 起
System Verilog Assertions应用指南
SystemVerilog验证：测试平台编写指南（原书第三版）
[美]克里斯·斯皮尔 著；张春 译
￥40.00 起
System Verilog Assertions应用指南
System Analysis, Design, and Development Concepts, Principles, and Practices
Wasson；Charles S
￥999.00 起
System Verilog Assertions应用指南
SylixOS应用开发权威指南
韩辉 著
￥31.11 起
System Verilog Assertions应用指南
Symplectic Topology and Floer Homology
Yong Geun Oh
￥2056.00 起
System Verilog Assertions应用指南
Synoptic-Dynamic Meteorology in Midlatitudes: Volume I: Principles of Kinematics and Dynamics
Bluestein；Howard B
￥1000.00 起
System Verilog Assertions应用指南
Syntax: Basic Concepts and Applications. by Robert Freidin
Freidin；Robert
￥589.00 起
System Verilog Assertions应用指南
SystemVerilog数字集成电路功能验证
王旭
￥30.00 起
您可能感兴趣 / 更多
System Verilog Assertions应用指南
语言恶女：女性如何夺回语言
[美]阿曼达·蒙特尔/著李辛/译
￥23.00 起
System Verilog Assertions应用指南
爵士乐史（精装本）
[美]泰德·乔亚 著
￥101.66 起
System Verilog Assertions应用指南
作家榜名著：菊与刀全译本（一本书讲透日本人的矛盾性格！全新未删节插图版《菊与刀》！特别收录4000多字导读 +12幅彩插！）
[美]鲁思·本尼迪克特、作家榜经典名 著；何谦 译
￥28.68 起
System Verilog Assertions应用指南
哈利·波特解析生物设定
[美]乔迪·雷文森
￥125.00 起
System Verilog Assertions应用指南
大学技术转移与学术创业：芝加哥手册（精装典藏版）
[美]艾伯特·N. 林克（Albert N. Link）；[美]唐纳德·S. 西格尔（Donald S. Siegel）；[英]麦克·赖特（Mike Wright）
￥20.07 起
System Verilog Assertions应用指南
了不起的建筑师扎哈 传奇建筑设计师扎哈·哈迪德绘本传记 4-9岁
[美]维多利亚·滕特勒-克 雷洛夫 著绘
￥32.34 起
System Verilog Assertions应用指南
加勒比之梦：旅游、帝国扩张与全球流动
[美]布莱克·C. 斯科特 （Blake C. Scott）
￥22.60 起
System Verilog Assertions应用指南
加缪
[美]奥利弗·格洛格（Oliver Gloag）
￥19.35 起
System Verilog Assertions应用指南
数学侦探 游乐园里的古怪笑脸
[美]丹尼尔·肯尼 艾米丽·博艾尔 著 刘玙婧、王婧 译；小博集出品
￥5.94 起
System Verilog Assertions应用指南
读懂经济学：提升“财商”、塑造价值观念的经济学读本，一本书参破瞬息万变的经济世界底层逻辑！
[美]霍华德·亚鲁斯 著；赵善江 译；斯坦威 出品
￥35.76 起
System Verilog Assertions应用指南
数学侦探 神秘路线上的连环追踪
[美]丹尼尔·肯尼 艾米丽·博艾尔 著 刘玙婧、王婧 译；小博集出品
￥5.94 起
System Verilog Assertions应用指南
陶瓷创意造型新技法（陶艺学习系列丛书）
[美]黛布·施瓦茨科夫 著，张靖靖 译
￥99.33 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全