SystemVerilog与功能验证

出版时间:2010-10  出版社:机械工业出版社  作者:钟文枫  页数:209  
Tag标签:无  

内容概要

本书重点介绍硬件设计描述和验证语言SystemVerilog的基本语法及其在功能验证上的应用;书中以功能验证为主线,讲述基本的验证流程、高级验证技术和验证方法学,以SystemVerilog为基础结合石头、剪刀、布的应用实例,重点阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术;最后,通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。

作者简介

曾就职于华为技术通信公司,目前在某EDA公司亚太区客户支持部门任验证产品技术主管;入行以来,参与过TD-SCDMA基带芯片,千兆无源光网芯片,高性能CPU、网络芯片的硬件辅助验证等多个研发项目,在IC设计及验证领域积累了丰富的实践经验;帮助多家公司优化设计流程,采用高级验证技术,缩短项目的研发周期;发表有《OVM实现了可重用的验证平台》,《AMBA片上总线在SOC芯片设计中的应用》等多篇学术论文,也是《The Verification Cookbook》一书的中文版译者之一;多年来致力于行业技术和产品的应用和推广,对IC设计与验证友深刻的体会和思考.

书籍目录

前言 第1章 功能验证技术与方法学概要  1.1 功能验证与验证平台   1.1.1 专用芯片设计流程   1.1.2 什么是验证   1.1.3 验证平台可以做些什么   1.1.4 功能验证流程  1.2 验证技术和验证方法学   1.2.1 黑盒、白盒与灰盒验证   1.2.2 验证技术   1.2.3 验证存在的挑战   1.2.4 证方法学   1.2.5 断言验证   1.2.6 覆盖率驱动验证  1.3 硬件验证语言   1.3.1 open vera   1.3.2 e语言   1.3.3 psl   1.3.4 systemc   1.3.5 systemverilog 第2章 数据类型与编程结构  2.1 数据类型   2.1.1 两态数据类型   2.1.2 枚举类型和用户自定义类型   2.1.3 数组与队列   2.1.4 字符串   2.1.5 结构体和联合体   2.1.6 常量   2.1.7 文本表示   2.1.8 操作符和表达式  2.2 过程语句   2.2.1 赋值语句   2.2.2 控制结构  2.3 函数和任务   2.3.1 函数和任务的区别   2.3.2 子程序定义   2.3.3 子程序参数   2.3.4 子程序返回   2.3.5 自动存储  2.4 编程结构   2.4.1 模块   2.4.2 接口   2.4.3 过程块和语句块   2.4.4 数据对象   2.4.5 程序块   2.4.6 简单的验证架构  2. 5 数据的生命周期和作用域  2.6 数据类型转换   2.6.1 静态类型转换   2.6.2 动态类型转换  ……第3章 并发进程与进程同步 第4章 面向对象编程入门  第5章 虚接口 第6章 随机测试 第7章 继承与多态 第8章 功能覆盖率 第9章 断言 第10章 验证重用与验证方法学 第11章 systemverilog与c语言的接口 附录a 覆盖率内置参数和方法列表 附录b 断言重复操作符和序列操作符列表 附录c questasim简要介绍 附录d 常用术语中英文对照 参考文献 后记 源代码索引systemverilog

图书封面

图书标签Tags

评论、评分、阅读与下载


    SystemVerilog与功能验证 PDF格式下载



用户评论 (总计15条)

 
 

  •     华为工程师写的书,很务实,没有很多拗口的概念解释和语言背景的描述,基本上看了就能拿来使用SV在芯片验证中现在地位越来越高了,推荐这本书
  •     这本书相比较绿皮书来说:
    1,中文母语自己写的,所以不至于出现经常的翻译作品中不知所云的情况
    2,适合起步学习,高屋建瓴的讲了验证的结构。
    3,从小例子着手,易于上手,也不会让你淹没在繁杂的细节里。
    4,语言还挺生动滴~
  •     中国人编的验证的书,相对于国外的,更容易理解。专业性很强,很实用。
  •     因为作者有实际的技术经验,所以说明起来非常容易懂,比一些外文翻译版的好很多.
    已经开始读了,非常好~
  •     我是初学者,感觉讲的很好,比英文版的电子文档看着轻松,但是有些实例是有错误的,不过有论坛可以和同行讨论,对于初学者很实用的一本书
  •     本书不错,比较的深,讲的也全面
  •     主要当工具书来用,初学也还行。真要现学现用,就差了点。总的来说是很好的工具书,不少同事都说好,嘿嘿!
  •     满199返回400吗?现在怎么不见?!!!
  •     有用,很值得探究
  •     对于SystemVerilog的基本概念和用法介绍的比较全面,适合初学者,特别是初学用SV做验证的。
  •     冲着验证方法学去买的这本书,可惜相关内容比较少,算是不错的SV入门书籍吧,中文写作排除了其他SV相关书籍翻译存在的问题,循序渐进思路清晰。不足之处错别字比较多。
  •     与国外经典书比起来,还是有点太浅,不深入。但是毕竟是国内第一本写SV的书,适合初学者。
  •     对于新手,帮助很大,很有针对性。
  •     书折痕明显,内容可以
  •     正在看,还不错~~
 

百度网盘资源搜索 狗头鹰

250万本中文图书简介、评论、评分,PDF格式免费下载。 第一图书网 手机版

第一图书网(tushu001.com) @ 2017