出版日期：2010年10月
ISBN：9787111313731
[十位：7111313739]
页数：209
定价：￥36.00
店铺售价：￥14.40
（为您节省：￥21.60）
店铺库存：0
本
正在处理购买信息，请稍候……
我要买：
本
* 如何购买
联系店主：
13160687782
店主推荐图书：
-
￥999.00
-
￥23.96
-
￥18.00
-
￥11.50
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2025-01-01 11:32:30]
逗*
深圳市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-10-22 14:02:47]
达*
广州市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-10-10 17:02:26]
李**
北京市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-10-10 08:31:28]
石家庄市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-10-06 18:58:27]
肖**
南京市
《SystemVerilog与功能验证》内容提要：
本书**介绍硬件设计描述和验证语言SystemVerilog的基本语法及其在功能验证上的应用；书中以功能验证为主线，讲述基本的验证流程、**验证技术和验证方法学，以SystemVerilog为基础结合石头、剪刀、布的应用实例，**阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种**验证技术；*后，通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。
《SystemVerilog与功能验证》图书目录：
前言
第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