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

SystemVerilog验证方法学

SystemVerilog验证方法学
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] （Bergerpm J.） 著 , 译
出版社: 北京航空航天大学出版社
2007-05
版次: 1
ISBN: 9787811240795
定价: 58.00
装帧: 平装
开本: 其他
纸张: 胶版纸
页数: 467页
字数: 683千字
分类: 计算机与互联网
72人买过
  • 　　本书借助许多用SystemVerilog编写的例子，介绍和说明一套完整的验证方法学。它涵盖了所有最新的验证技术，其中包括：验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导(coverage-driven)的验证、基于断言(assertion-based)的验证、形式化分析，以及基于一个开放、完善的方法学上的系统级验证。此外，本书也包括标准程序库、VMM和VMM检查器，从而可帮助缩短验证开发的时间。
    　　本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生教学用书，亦可供其他工程人员自学与参考。 　　JanickBergeron是为Synopsys公司工作的科学家，一本最畅销的书WritingTestbench-es：FunctionalVerificationofHDLModels的作者，他也是验证规范仲裁主持人。他曾经在滑铁卢（Waterloo）大学获得电子工程硕士学位，在魁北克西谷提密（duQuebecaChicoutime）大学获得工程学士学位，并在俄勒岗（Orgon）大学获得MBA学位。 专家推荐
    译者序
    序言
    前言
    本书是如何组织的
    如何阅读本书
    附加资料来源
    感谢
    第1章导论
    验证生产率
    提高生产率
    验证组件
    基于接口的设计
    针对验证的设计
    使用断言的好处
    方法学的实现
    方法学的采纳
    指导原则
    基本的编码指导原则
    术语的定义
    第2章验证计划
    计划过程
    功能验证的需求
    验证环境的需求
    验证计划的实现方案
    响应检查
    嵌入式监视器
    断言
    精确性
    记分板
    参考模型
    离线检查
    总结
    第3章断言
    断言的指定
    断言语言基本知识
    DUT(被测设计)内部信号上的断言
    外部接口上的断言
    断言编码的指导原则
    覆盖率属性
    基于断言的可重用检查器
    简单检查器
    基于断言的验证IP
    基于断言的IP结构
    文档与发行内容
    断言的鉴定
    总结
    第4章测试平台的基本结构
    测试平台的架构
    信号层
    指令层
    功能层
    场景层
    测试层
    仿真控制
    消息服务
    数据和事务
    类属性/据成员
    方法
    第5章激励与响应
    第6章针对覆盖率的验证
    第7章用于形式化验证的断言
    第8章系统级验证
    第9章处理器集成验证
    附录AVMM标准库技术说明书
    附录BVMM检查器库
    附录CXVC标准库技术说明书
    附录D软件验证框架
    索引
    作者介绍
  • 内容简介:
    　　本书借助许多用SystemVerilog编写的例子，介绍和说明一套完整的验证方法学。它涵盖了所有最新的验证技术，其中包括：验证计划制定、TestBench架构、受约束随机激励产生、以覆盖率为主导(coverage-driven)的验证、基于断言(assertion-based)的验证、形式化分析，以及基于一个开放、完善的方法学上的系统级验证。此外，本书也包括标准程序库、VMM和VMM检查器，从而可帮助缩短验证开发的时间。
    　　本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生教学用书，亦可供其他工程人员自学与参考。
  • 作者简介:
    　　JanickBergeron是为Synopsys公司工作的科学家，一本最畅销的书WritingTestbench-es：FunctionalVerificationofHDLModels的作者，他也是验证规范仲裁主持人。他曾经在滑铁卢（Waterloo）大学获得电子工程硕士学位，在魁北克西谷提密（duQuebecaChicoutime）大学获得工程学士学位，并在俄勒岗（Orgon）大学获得MBA学位。
  • 目录:
    专家推荐
    译者序
    序言
    前言
    本书是如何组织的
    如何阅读本书
    附加资料来源
    感谢
    第1章导论
    验证生产率
    提高生产率
    验证组件
    基于接口的设计
    针对验证的设计
    使用断言的好处
    方法学的实现
    方法学的采纳
    指导原则
    基本的编码指导原则
    术语的定义
    第2章验证计划
    计划过程
    功能验证的需求
    验证环境的需求
    验证计划的实现方案
    响应检查
    嵌入式监视器
    断言
    精确性
    记分板
    参考模型
    离线检查
    总结
    第3章断言
    断言的指定
    断言语言基本知识
    DUT(被测设计)内部信号上的断言
    外部接口上的断言
    断言编码的指导原则
    覆盖率属性
    基于断言的可重用检查器
    简单检查器
    基于断言的验证IP
    基于断言的IP结构
    文档与发行内容
    断言的鉴定
    总结
    第4章测试平台的基本结构
    测试平台的架构
    信号层
    指令层
    功能层
    场景层
    测试层
    仿真控制
    消息服务
    数据和事务
    类属性/据成员
    方法
    第5章激励与响应
    第6章针对覆盖率的验证
    第7章用于形式化验证的断言
    第8章系统级验证
    第9章处理器集成验证
    附录AVMM标准库技术说明书
    附录BVMM检查器库
    附录CXVC标准库技术说明书
    附录D软件验证框架
    索引
    作者介绍
查看详情
其他版本 / 全部 (1)
相关图书 / 更多
SystemVerilog验证方法学
SynchronousReduction-sinteringandAsynchronous
胡文韬、王化军、孙传尧 著
￥18.94 起
SystemVerilog验证方法学
SystemVerilog硬件设计
（印）瓦伊巴夫·塔拉特（VaibbhavTaraate）
￥45.84 起
SystemVerilog验证方法学
Sylvan Summer Smart Workbook: Between Grades 1 & 2
Sylvan Learning
￥75.00 起
SystemVerilog验证方法学
SylixOS设备驱动程序开发
韩辉 编著
￥28.00 起
SystemVerilog验证方法学
Symphonies Nos. 8 & 9
Schubert；Franz
￥198.00 起
SystemVerilog验证方法学
SystemVerilog验证：测试平台编写指南（原书第三版）
[美]克里斯·斯皮尔 著；张春 译
￥40.00 起
SystemVerilog验证方法学
System Analysis, Design, and Development Concepts, Principles, and Practices
Wasson；Charles S
￥999.00 起
SystemVerilog验证方法学
SylixOS应用开发权威指南
韩辉 著
￥33.08 起
SystemVerilog验证方法学
Symplectic Topology and Floer Homology
Yong Geun Oh
￥1272.00 起
SystemVerilog验证方法学
Synoptic-Dynamic Meteorology in Midlatitudes: Volume I: Principles of Kinematics and Dynamics
Bluestein；Howard B
￥1000.00 起
SystemVerilog验证方法学
Syntax: Basic Concepts and Applications. by Robert Freidin
Freidin；Robert
￥589.00 起
SystemVerilog验证方法学
SystemVerilog数字集成电路功能验证
王旭
￥30.00 起
您可能感兴趣 / 更多
SystemVerilog验证方法学
明信片（《断背山》作者又一力作，荣获福克纳文学奖，49张明信片背后是100种离奇人生）
[美]安妮·普鲁 著；黄宜思 译
￥52.00 起
SystemVerilog验证方法学
欲望行星：人类时代的地球
[美]唐纳德·沃斯特（Donald Worster） 著；侯深 译；汉唐阳光 出品
￥35.42 起
SystemVerilog验证方法学
超大规模集成电路物理设计：从图分割到时序收敛（原书第2版） [美国]安德·B.卡恩
[美]安德·B.卡恩
￥69.02 起
SystemVerilog验证方法学
海外中国研究·文化、权力与国家：1900—1942年的华北农村（海外中国研究丛书精选版第四辑）
[美]杜赞奇 著；王福明 译
￥32.11 起
SystemVerilog验证方法学
了不起的建筑师扎哈 传奇建筑设计师扎哈·哈迪德绘本传记 4-9岁
[美]维多利亚·滕特勒-克 雷洛夫 著绘
￥17.40 起
SystemVerilog验证方法学
全新正版图书 改变世界的6种力亨利·波卓斯基浙江科学技术出版社9787573910929
[美] 亨利·波卓斯基
￥49.84 起
SystemVerilog验证方法学
（守望者·传记）身体的疯狂朝圣：田纳西·威廉斯传
[美]约翰·拉尔 著；张敏 凌建娥 译
￥78.27 起
SystemVerilog验证方法学
哥白尼
[美]欧文·金格里奇（Owen Gingerich）
￥17.00 起
SystemVerilog验证方法学
加缪
[美]奥利弗·格洛格（Oliver Gloag）
￥22.37 起
SystemVerilog验证方法学
数学侦探 珠宝行里的X劫匪
[美]丹尼尔·肯尼 艾米丽·博艾尔 著 刘玙婧、王婧 译；小博集出品
￥5.94 起
SystemVerilog验证方法学
十大经济学家
[美]约瑟夫·熊彼特
￥24.26 起
SystemVerilog验证方法学
闲散一些也无可厚非
[美]艾莉森·孙 著；李昂 译
￥15.30 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全