本书介绍CorelDRAW2020的基本操作方法和矢量图形的制作技巧，包括CorelDRAW2020的基本操作和图像的基础知识、绘制和编辑图形、绘制和编辑曲线、编辑轮廓线与填充颜色、排列和组合对象、编辑文本、编辑位图、应用特殊效果，以及商业案例实训等内容。
电子书
内容简介
SystemVerilog是当前国内外被广泛使用的数字集成电路验证语言，它可以高效地对被测设计进行受约束的随机测试，从而在尽可能短的时间内达到令人满意的代码和功能覆盖率。熟练掌握Systemverilog语言是进一步学习UVM验证方法学的基础。 本书讲解了SystemVerilog的基本语法和工作原理，同时结合了UVM验证方法学中的验证技术知识。讲述的内容主要包括：基本数据类型、接口、类、随机化、约束、进程同步、功能覆盖和DPI技术。书中使用了约270个完整实例，详细说明了每个知识点在实际项目中的应用。最后使用学过的验证技术搭建一个基于SystemVerilog的简单验证平台。书中还介绍了UVM中的一些关键技术，主要包括：继承和派生，拷贝函数、单例类、测试登记表、代理类和工厂机制。为接下来系统学习UVM验证方法学打下坚实的基础。 为了方便读者学习和练习，本书的配套资源中提供了书中全部完整实例。第9章是本书的精华内容，这一章仿照UVM的工作过程，从零开始逐步搭建出一个支持工厂机制、带有覆盖收集和回调功能的受约束测试平台。读者通过反复阅读、改写和调试这个测试平台，可以更全面地理解面向对象编程的关键技术和UVM的常用机制。 本书适合作为高等院校集成电路、微电子、计算机相关专业的教材，同时适用于具有一定Verilog编程基础的人员参考使用，也可以作为数字集成电路验证工程师的语法参考手册。
章节目录
- 扉页
- 版权页
- 前言
- 目录
- 第1章 验证导论
- 1.1 芯片设计流程
- 1.2 功能验证与测试平台
- 1.3 验证流程
- 1.4 验证语言和验证方法学
- 1.5 定向测试和受约束随机测试
- 1.6 层次化测试平台
- 1.7 层次化测试平台的执行
- 1.8 练习题
- 第2章 测试平台和数据类型
- 2.1 测试平台
- 2.1.1 被测设计
- 2.1.2 测试模块
- 2.1.3 测试平台顶层模块
- 2.2 基本数据类型
- 2.2.1 reg 和wire 类型
- 2.2.2 四值logic 类型
- 2.2.3 二值数据类型
- 2.2.4 常量和字符串
- 2.3 时间值
- 2.3.1 时间常量
- 2.3.2 时间变量
- 2.4 压缩和非压缩数组
- 2.4.1 压缩数组
- 2.4.2 非压缩数组
- 2.4.3 数组直接量
- 2.4.4 数组的遍历
- 2.4.5 数组的赋值和比较
- 2.5 动态数组
- 2.6 关联数组
- 2.7 队列
- 2.8 数组的内置方法
- 2.8.1 数组缩减方法
- 2.8.2 数组定位方法
- 2.8.3 数组排序方法
- 2.9 自定义数据类型
- 2.10 结构和联合
- 2.10.1 结构
- 2.10.2 联合
- 2.11 枚举
- 2.11.1 定义枚举类型
- 2.11.2 枚举的方法
- 2.11.3 枚举变量和类型转换
- 2.12 流操作符
- 2.13 包
- 2.14 练习题
- 第3章 结构化过程
- 3.1 initial 和always 过程
- 3.2 运算符和过程语句
- 3.3 任务和函数
- 3.3.1 任务和函数的特点
- 3.3.2 例程声明的简化
- 3.3.3 例程参数的引用传递
- 3.3.4 例程参数的默认值
- 3.4 静态例程和自动例程
- 3.5 练习题
- 第4章 接口和断言
- 4.1 接口的定义和使用
- 4.1.1 使用接口简化连接
- 4.1.2 modport
- 4.2 同步信号的驱动与采样
- 4.2.1 时钟块
- 4.2.2 时钟偏移
- 4.2.3 采样同步输入信号
- 4.2.4 驱动同步输出信号
- 4.2.5 接口信号同步
- 4.2.6 接口中的双向信号
- 4.3 断言
- 4.3.1 断言类型
- 4.3.2 断言语句类型
- 4.3.3 序列操作符
- 4.4 练习题
- 第5章 面向对象编程
- 5.1 类的定义
- 5.2 对象、句柄和构造方法
- 5.2.1 默认构造方法
- 5.2.2 自定义构造方法
- 5.2.3 句柄
- 5.2.4 句柄数组
- 5.2.5 对象的传递
- 5.3 类的继承
- 5.3.1 派生类
- 5.3.2 虚方法和多态
- 5.3.3 抽象类和纯虚方法
- 5.3.4 句柄类型转换
- 5.4 接口类与多继承
- 5.5 类的封装
- 5.6 对象复制
- 5.6.1 简单对象复制
- 5.6.2 复杂对象复制
- 5.6.3 派生类对象复制
- 5.7 参数化类
- 5.7.1 定义参数化类
- 5.7.2 参数化类的应用
- 5.7.3 共享参数类
- 5.8 静态属性和静态方法
- 5.8.1 静态属性
- 5.8.2 静态句柄
- 5.8.3 静态方法
- 5.9 单例类
- 5.9.1 打印信息的动态类
- 5.9.2 打印信息的单例类
- 5.10 UVM 配置数据库
- 5.11 UVM 工厂机制
- 5.11.1 使用静态方法的测试登记表
- 5.11.2 工厂机制
- 5.11.3 组件基类
- 5.11.4 代理类
- 5.11.5 工厂类
- 5.11.6 封装工厂机制
- 5.11.7 UVM-1.2 中的工厂机制
- 5.11.8 组件类加入工厂机制
- 5.11.9 测试类加入工厂机制
- 5.11.10 修改测试平台
- 5.11.11 UVM 工厂制造
- 5.12 虚接口
- 5.12.1 使用例程参数连接接口
- 5.12.2 使用跨模块引用连接接口
- 5.12.3 使用config_db 连接接口
- 5.13 练习题
- 第6章 随机化
- 6.1 带有随机属性的类
- 6.1.1 随机属性
- 6.1.2 约束块
- 6.1.3 随机化方法
- 6.1.4 约束开关
- 6.1.5 随机开关
- 6.1.6 伪随机发生器种子
- 6.2 随机属性的约束
- 6.2.1 分布约束
- 6.2.2 取值集合
- 6.2.3 唯一性约束
- 6.2.4 条件约束
- 6.2.5 等价操作符
- 6.2.6 行内约束
- 6.2.7 软约束
- 6.3 随机数组的约束
- 6.3.1 数组长度的约束
- 6.3.2 数组元素和的约束
- 6.3.3 数组元素的约束
- 6.3.4 没有重复值的随机数组
- 6.4 约束随机属性求解顺序
- 6.5 pre_randomize 和post_randomize 方法
- 6.6 随机数函数
- 6.7 练习题
- 第7章 进程间通信
- 7.1 块语句和进程
- 7.1.1 块语句
- 7.1.2 动态子进程
- 7.1.3 并行块中的自动变量
- 7.2 进程控制
- 7.2.1 wait fork
- 7.2.2 disable
- 7.2.3 disable fork
- 7.2.4 进程类
- 7.3 事件的触发和等待
- 7.3.1 阻塞事件与非阻塞事件
- 7.3.2 triggered 方法
- 7.3.3 传递事件
- 7.3.4 等待多个事件
- 7.4 信号量
- 7.5 信箱
- 7.5.1 使用信箱发送事务
- 7.5.2 使用信箱接收事务
- 7.5.3 使用信箱交换事务
- 7.6 进程同步
- 7.6.1 使用事件同步进程
- 7.6.2 使用信箱同步进程
- 7.7 练习题
- 第8章 功能覆盖
- 8.1 覆盖类型
- 8.1.1 代码覆盖
- 8.1.2 功能覆盖
- 8.2 覆盖组和覆盖点
- 8.2.1 模块中的覆盖组
- 8.2.2 类中的覆盖组
- 8.2.3 条件覆盖
- 8.3 覆盖组的触发
- 8.3.1 使用sample 方法触发覆盖组
- 8.3.2 使用事件触发覆盖组
- 8.3.3 使用断言触发覆盖组
- 8.3.4 使用回调触发覆盖组
- 8.4 仓
- 8.4.1 创建仓
- 8.4.2 通用覆盖组
- 8.4.3 表达式的采样
- 8.4.4 限制仓的个数
- 8.4.5 创建忽略仓和非法仓
- 8.4.6 枚举变量与仓
- 8.4.7 转换覆盖
- 8.4.8 通配符仓
- 8.5 交叉覆盖
- 8.5.1 建立交叉覆盖
- 8.5.2 binsof 和intersect 结构
- 8.6 覆盖选项
- 8.6.1 实例选项
- 8.6.2 类型选项
- 8.6.3 功能覆盖率与权重
- 8.6.4 覆盖组的注释
- 8.6.5 打印未被覆盖的交叉仓
- 8.6.6 覆盖目标
- 8.7 覆盖率数据分析
- 8.8 练习题
- 第9章 编写层次化测试平台
- 9.1 被测设计
- 9.2 层次化测试平台结构
- 9.3 搭建层次化测试平台
- 9.3.1 添加接口
- 9.3.2 添加组件基类
- 9.3.3 添加driver 类
- 9.3.4 跨模块信号的连接
- 9.3.5 添加transaction 类
- 9.3.6 添加environment 类
- 9.3.7 添加monitor 类
- 9.3.8 添加agent 类
- 9.3.9 添加scoreboard 类
- 9.3.10 添加sequencer 类
- 9.4 添加工厂机制
- 9.5 添加回调技术
- 9.5.1 回调技术
- 9.5.2 使用回调修改激励
- 9.5.3 使用回调收集功能覆盖
- 9.6 练习题
- 第10章 直接编程接口
- 10.1 DPI 术语说明
- 10.2 导入和导出函数
- 10.3 基本数据类型的匹配
- 10.3.1 整数和浮点数的数据类型映射
- 10.3.2 标量的数据类型映射
- 10.3.3 向量的数据类型映射
- 10.4 chandle 与C 指针的数据类型映射
- 10.4.1 使用静态变量的C 函数
- 10.4.2 使用指针的C 函数
- 10.5 传递一维定长数组
- 10.5.1 传递二值一维数组
- 10.5.2 传递四值一维数组
- 10.6 开放数组
- 10.6.1 传递一维动态数组
- 10.6.2 传递多维数组
- 10.6.3 开放数组相关函数
- 10.6.4 传递压缩数组
- 10.7 传递SystemVerilog 结构
- 10.8 传递C 字符串
- 10.9 共享C++ 对象
- 10.9.1 计数器类
- 10.9.2 包装函数
- 10.9.3 封装导入函数
- 10.10 共享SystemVerilog 对象
- 10.10.1 导出函数
- 10.10.2 导出任务
- 10.10.3 共享SystemVerilog 对象
- 10.11 纯导入和语境导入函数/任务
- 10.11.1 纯导入函数
- 10.11.2 语境导入函数
- 10.11.3 更改语境
- 10.12 SystemVerilog 与Python 混合编
- 10.12.1 调用Python 脚本
- 10.12.2 调用不带参数的Python 函数
- 10.12.3 调用带有参数的Python 函数
- 10.13 练习题
- 附录 测试平台Makefile
- 参考文献
展开全部
SystemVerilog数字集成电路功能验证是2023年由人民邮电出版社出版,作者王旭 主编。
温馨提示：
1.本电子书已获得正版授权，由出版社通过知传链发行。
2.该电子书为虚拟物品，付费之后概不接收任何理由退款。电子书内容仅支持在线阅读，不支持下载。
3.您在本站购买的阅读使用权仅限于您本人阅读使用，您不得/不能给任何第三方使用，由此造成的一切相关后果本平台保留向您追偿索赔的权利！版权所有，后果自负！
得书感谢您对《SystemVerilog数字集成电路功能验证》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
本书全面系统地介绍PhotoshopCS6的基本操作方法和图形图像处理技巧，内容包括图像处理基础知识、PholoshopCS6简介、绘制和编辑选区、绘制图像、修饰图像、编辑图像、绘制和编辑图形及路径、调整图像的色彩和色调、图层的应用、应用文字与蒙版、使用通道与滤镜、商业案例实训等。
电子书
本书全面系统地介绍了Illustrator的基本操作方法和矢量图形的制作技巧，内容包括初识IllustratorCC2019、图形的绘制与编辑、路径的绘制与编辑、图像对象的组织、颜色填充与描边、文本的编辑、图表的编辑、图层和蒙版的使用、使用混合与封套命令、效果的使用及商业案例实训等。
电子书
《中文版AnimateCC2019基础培训教程》全面系统地介绍了AnimateCC2019的基本操作方法和网页动画、制作技巧，包括AnimateCC2019基础入门、图形的绘制与编辑、对象的编辑与修饰、文本的编辑、外部素材的应用、元件和库、基本动画的制作、层与高级动画、声音素材的导入和编辑、动作脚本应用基础、制作交互式动画、组件和动画预设、商业案例实训等内容。《中文版AnimateCC2019基础
电子书
本书全面系统地介绍了CorelDRAWX7的基本操作方法和矢量图形的制作技巧，包括初识CoreIDRAWX7，绘制和编辑图形，绘制和编辑曲线，编辑轮廓线与填充颜色，排列和组合对象，编辑文本，编辑位图，应用特殊效果，以及商业案例实训等内容。本书内容均以课堂案例为主线，通过对各案例的实际操作，读者可以快速上手，熟悉软件功能和艺术设计思路。书中的软件功能解析部分使学生能够深入学习软件功能；课堂练习和课后
电子书
本书全面系统地介绍了IllustratorCC的基本操作方法和矢量图形制作技巧，内容包括初识IllustratorCC，图形的绘制和编辑，路径的绘制和编辑，图像对象的组织，颜色填充与描边，文本的编辑，图表的编辑，图层和蒙版的使用，使用混合与封套效果，效果的使用，以及商业案例实训等内容。本书内容均以课堂案例为主线，通过对各案例的实际操作，学生可以快速上手，熟悉软件功能和艺术设计思路。书中的软件功能解
电子书
本书全面系统地介绍了DreamweaverCC的基本操作方法和网页设计制作技巧，包括初识DreamweaverCC，文本与文档，图像和多媒体，超链接，使用表格，ASP，CSS样式，模板和库，使用表单，行为，网页代码，以及商业案例实训等内容。本书内容均以课堂案例为主线，通过对各案例的实际操作，学生可以快速上手，熟悉软件功能和艺术设计思路。书中的软件功能解析部分使学生能够深入学习软件功能；课堂练习和课
电子书
本书全面系统地介绍了InDesignCC的基本操作方法和排版设计技巧，包括InDesignCC入门知识，绘制和编辑图形对象，路径的绘制与编辑，编辑、描边与效果，编辑文本，处理图像，版式编排，表格与图层，页面编排，编辑图书和目录，以及综合实训案例等内容。本书将案例融入到软件功能的介绍过程中，通过课堂案例演练，使学生快速掌握软件的应用技巧；在学习基础知识的基本操作后，通过课后习题实践，拓展学生的实际应
