网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 SystemVerilog与功能验证
分类
作者 钟文枫
出版社 机械工业出版社
下载
简介
编辑推荐

IEEE P1800-2005是下一代硬件设计和验证语言,已被业界广泛采用,成为业界最流行的硬件验证语言。

本书重点介绍了IEEE标准P1800-2005硬件设计描述和验证语言SystemVerilog基本语法及其在功能验证上的应用。书中以功能验证为主线,讲述基本的验证流程、高级验证技术和验证方法学,结合石头、剪刀、布的应用实例,重点阐述了如何采用SystemVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术;最后,通过业界流行的开放式验证方法学OVM介绍了如何在验证平台中实现可重用性。全书内容全面,通俗易懂,深入浅出,实例丰富,结合了业界的实践经验,是一本实用的技术参考手册。

内容推荐

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

目录

前言

第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章 并发进程与进程同步

 3.1 fork...ioin

3.1.1 三种并发方式

3.1.2 进程与变量

3.1.3 进程控制

 3.2 mailbox

3.2.1 mailbox的基本操作

3.2.2 参数化mailbox

3.2.3 mailbox应用实例

 3.3 semaphore

3.3.1 semaphore的基本操作

3.3.2 semaphore应用实例

 3.4 event

3.4.1 事件触发

3.4.2 等待事件

3.4.3 事件的触发属性

第4章 面向对象编程入门

 4.1 过程编程语言与面向对象编程语言

 4.2 类

4.2.1 类的基本概念

4.2.2 构造函数

4.2.3 静态属性与方法

4.2.4 this操作符

4.2.5 对象的赋值与复制

4.2.6 块外声明

 4.3 石头、剪刀、布仲裁器实例(基于类的验证平台)

4.3.1 验证环境顶层

4.3.2 验证组件

第5章 虚接口

 5.1 虚接口的基本概念及应用

5.1.1 虚接口的基本概念

5.1.2 虚接口的应用

 5.2 端口模式和时钟控制块

5.2.1 端口模式

5.2.2 时钟控制块

第6章 随机测试

 6.1 激励产生

6.1.1 什么是随机

6.1.2 潜在问题

 6.2 随机生成机制

6.2.1 随机系统函数

6.2.2 randcase/randsequence

 6.3 基于对象的随机生成

6.3.1 随机变量

6.3.2 约束定义

6.3.3 随机方法

6.3.4 随机使能控制

6.3.5 约束的动态修改

 6.4 标准随机函数

 6.5 随机激励的应用

第7章 继承与多态

 7.1 继承和多态的基本概念

 7.2 继承与子类

7.2.1 类的继承与重写

7.2.2 子类.对象与父类对象的赋值

7.2.3 构造函数调用

 7.3 虚方法与多态

7.3.1 虚方法

7.3.2 多态

 7.4 虚类和参数化类

7.4.1 虚类

7.4.2 参数化类

 7.5 约束重写

 7.6 数据的隐藏与封装

第8章 功能覆盖率

 8.1 覆盖率

8.1.1 目标覆盖率

8.1.2 代码覆盖率

8.1.3 功能覆盖率

 8.2 SystemVerilog的功能覆盖率

8.2.1 覆盖组(covergroup)

8.2.2 覆盖点(coverpoint)

8.2.3 交叉覆盖点(cross)

 8.3 覆盖率驱动的验证平台

第9章 断言

 9.1 断言的概念及作用

 9.2 SVA

9.2.1 SVA的语法层次结构

9.2.2 SVA应用实例

9.2.3 bind

第10章 验证重用与验证方法学

 10.1 验证重用中存在的问题

 10.2 验证方法学OVM

 10.3 OVM的四大核心技术

10.3.1 基于Factory的验证平台动态构建

10.3.2 动态的配置机制

10.3.3 测试用例在验证架构的顶层

10.3.4 激励产生与验证架构分离

第11章 SystemVerilog与C语言的接口

 11.1 什么是DPI

 11.2 DPI的应用

11.2.1 方法的导入

11.2.2 方法的导出

11.2.3 DPI的数据类型映射

11.2.4 DPI的具体应用

附录A 覆盖率内置参数和方法列表

附录B 断言重复操作符和序列操作符列表

附录C QuestaSim简要介绍

附录D 常用术语中英文对照

参考文献

后记

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/1 3:00:37