图书分类
-
旅游地理(1)
-
哲学(2)
-
科技工程(288)
-
艺术(4)
-
建筑(2)
-
管理(27)
-
经济金融(28)
-
文学小说(31)
-
政治军事(2)
-
汽车与交通运输(7)
-
教育考试(22)
-
新闻传播(1)
-
社会科学(3)
-
医学卫生(8)
-
文化历史(1)
-
计算机与网络(288)
-
活动图书(78)
-
语言学习(95)
-
心理(6)
-
工具书(5)
-
成功励志(5)
-
自然科学(184)
-
体育保健(2)
店铺公告
购书提示：
全国快递费6元，满48元包邮！48元以内只收6元邮费。包邮一律发汇通快递！宁夏、西藏、内蒙、新疆、甘肃、青海不在包邮范围！
团购请提前联系改价！13880722720 QQ:553077968
如果对所购图书有任何疑问可联系客服，我们支持7天无理由退换货（签收当天联系），如非商品本身问题，快递费由买家承担！
本店所有图书默认不配光盘、激活码及其它附件，如果有需要请购买前说明。
【如客服不在线】您的站内消息或订单不能及时答复、处理，敬请谅解,有疑问直接留言即可，上线后一定马上给予答复处理。祝您购物愉快！
【特别提醒】请在本店确认后24小时内付款，超期不保证库存，取消订单，敬请理解！谢谢！
【快递费用】根据实际距离进行更改，一般首重在6元（偏远地区除外）一次性购买超过48元，大部分城市包邮！48元以内只收6元邮费 本店默认发汇通快递
【关于发货】付款后24小时内极速发货。
【尊重劳动】本书店书籍都是高校回收二手正版教材，购买前请看店铺公告，如遇问题，请联系店主协商，我们一定会为您满意解决，请不要随意给中评或差评或投诉！
【图书新旧程度】本店所有二手正版教材均在7-8成新左右，封皮较新；内页有笔记（择优发货，或许无笔记），不影响阅读��可帮助复习学习，【如在意笔记的请不要下订单，如对品相苛刻的也不要下单】，【也不要因为笔记多和品相而投诉或者差评中评】。不缺页，不影响正常阅读。【是全新教材价格的四折不到】！具体看图书描述。因为均为二手图书，所以不一定配有光盘、磁带、学习卡等，我们将择优发货。谢谢，如需要在店家确认后请尽快付款，实体店销售中，付款确保购买，库存变化快，付款后24小时内发货。谢谢！不周之处，敬请谅解！因为二手教材，价格低廉，以上说明很详细了，请谨慎下单！
本店自营官网：www.cdzhibo.com
关于寒假发货重要通知
亲，寒假期间，本店从2017年1月16号停止发货，给您带来的不便请您谅解。放假期间本店不接急单，正常下单的亲本店2017年2月4号（大年初八）会统一安排发货哟。?在此提前祝亲们新年快乐，万事大吉！
发布时间：2017年01月14日
店铺介绍
本店是国内最大二手图书专业书店，主营电子，电路，微波，射频，雷达，通信，网络，信号，计算机语言编程，单片机，嵌入式，操作系统，软硬件原理，图形图像，网页制作以及经管，财经等各种考试类书籍。品种齐全，价格最低。欢迎广大读者零购，团购。
入驻时间：2013年05月30日
交易帮助
第一步：选择图书放入购物车。
第二步：结算、填写收货地址。
第三步：担保付款或银行汇款。
第四步：卖家发货。
第五步：确认收货、评价。
出版日期：2009年09月
ISBN：9787030253064
[十位：703025306X]
页数：365
定价：￥55.00
店铺售价：￥25.00
（为您节省：￥30.00）
店铺库存：54
本
正在处理购买信息，请稍候……
我要买：
本
* 如何购买
联系店主：
13880722720
店主推荐图书：
-
￥9.90
-
￥19.00
-
￥22.00
-
￥18.00
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-05-01 19:40:35]
曹**
株洲市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-04-28 17:09:47]
周**
北京市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-04-23 12:11:24]
杨*
秦皇岛市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-04-09 10:25:18]
苏*
成都市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-04-06 01:12:29]
丁**
广州市
《SystemVerilog验证测试平台编写指南(原书第二版)》内容提要：
《SystemVerilog验证(测试平台编写指南原书第2版)》可以作为学习SystemVerilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子，这些例子演示了如何使用面向对象编程(OOP)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。
《SystemVerilog验证测试平台编写指南(原书第二版)》图书目录：
第1章 验证导论1.1 验证流程1.1.1 不同层次上的测试1.1.2 验证计划1.2 验证方法学1.3 基本测试平台的功能1.4 定向测试1.5 方法学基础1.6 受约束的随机激励1.7 你的随机化对象是什么1.7.1 设备和环境配置1.7.2 输入数据1.7.3 协议异常、错误和违例1.7.4 时延和同步1.7.5 并行的随机测试1.8 功能覆盖率1.8.1 从功能覆盖率到激励的反馈1.9 测试平台的构件1.10 分层的测试平台1.10.1 不分层的测试平台1.10.2 信号和命令层1.10.3 功能层1.10.4 场景层1.10.5 测试的层次和功能覆盖率1.11 建立一个分层的测试平台1.11.1 创建一个简单的驱动器1.12 仿真环境的阶段1.13 *大限度的代码重用1.14 测试平台的性能1.15 结束语第2章 数据类型2.1 内建数据类型2.1.1 逻辑(logic)类型2.1.2 双状态数据类型2.2 定宽数组2.2.1 定宽数组的声明和初始化2.2.2 常量数组2.2.3 基本的数组操作——for和foreach2.2.4 基本的数组操作——复制和比较2.2.5 同时使用位下标和数组下标2.2.6 合并数组2.2.7 合并数组的例子2.2.8 合并数组和非合并数组的选择2.3 动态数组2.4 队列2.5 关联数组2.6 链表2.7 数组的方法2.7.1 数组缩减方法2.7.2 数组定位方法2.7.3 数组的排序2.7.4 使用数组定位方法建立记分板2.8 选择存储类型2.8.1 灵活性2.8.2 存储器用量2.8.3 速度2.8.4 排序2.8.5 选择*优的数据结构2.9 使用typedef创建新的类型2.10 创建用户自定义结构2.10.1 使用struct创建新类型2.10.2 对结构进行初始化2.10.3 创建可容纳不同类型的联合2.10.4 合并结构2.10.5 在合并结构和非合并结构之间进行选择2.11 类型转换2.11.1 静态转换2.11.2 动态转换2.11.3 流操作符2.12 枚举类型2.12.1 定义枚举值2.12.2 枚举类型的子程序2.12.3 枚举类型的转换2.13 常量2.14 字符串2.15 表达式的位宽2.16 结束语第3章 过程语句和子程序3.1 过程语句3.2 任务、函数以及void函数3.3 任务和函数概述3.3.1 在子程序中去掉begin...end3.4 子程序参数3.4.1 c语言风格的子程序参数3.4.2 参数的方向3.4.3 **的参数类型3.4.4 参数的缺省值3.4.5 采用名字进行参数传递3.4.6 常见的代码错误3.5 子程序的返回3.5.1 返回(return)语句3.5.2 从函数中返回一个数组3.6 局部数据存储3.6.1 自动存储3.6.2 变量的初始化3.7 时间值3.7.1 时间单位和精度3.7.2 时间参数3.7.3 时间和变量3.7.4 $time与$realtime的对比3.8 结束语第4章 连接设计和测试平台4.1 将测试平台和设计分开4.1.1 测试平台和DUT之间的通信4.1.2 与端口的通信4.2 接口4.2.1 使用接口来简化连接4.2.2 连接接口和端口4.2.3 使用modport将接口中的信号分组4.2.4 在总线设计中使用modport4.2.5 创建接口监视模块4.2.6 接口的优缺点4.2.7侧子和信息4.3 激励时序4.3.1 使用时钟块控制同步信号的时序4.3.2 接口中的logic和wire对比4.3.3 Verilog的时序问题4.3.4 测试平台一设计间的竞争状态4.4.4 程序块(ProgramBlock)和时序区域(TImingRegion)4.3.6 仿真的结束4.3.7 指定设计和测试平台之间的延时4.4 接口的驱动和采样4.4.1 接口同步4.4.2 接口信号采样4.4.3 接口信号驱动4.4.4 通过时钟块驱动接口信号4.4.5 接口中的双向信号4.4.6 为什么在程序4.4.7 时钟发生器4.5 将这些模块都连接起来4.5.1 端口列表中的接口必须连接4.6 顶层作用域4.7 程序——模块交互4.8 SystemVerilog断言4.8.1 立即断言(ImmediateAssertion)4.8.2 定制断言行为4.8.3 并发断言4.8.4 断言的进一步探讨4.9 四端口的ATM路由器4.9.1 使用端口的ATM路由器4.9.2 使用端口的ATM顶层网单4.9.3 使用接口简化连接4.9.4 ATM接口4.9.5 使用接口的ATM路由器模型4.9.6 使用接口的ATM顶层网单
《SystemVerilog验证测试平台编写指南(原书第二版)》文章节选：
《SystemVerilog验证(测试平台编写指南原书第2版)》可以作为学习SystemVerilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子,这些例子演示了如何使用面向对象编程(OOP)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。
《SystemVerilog验证测试平台编写指南(原书第二版)》编辑推荐与评论：
《SystemVerilog验证:测试平台编写指南(原书第2版)》:实用技术
《SystemVerilog验证测试平台编写指南(原书第二版)》作者介绍：
插图:第1章验证导论“有些人相信,我们缺乏能够描述这个**世界的编程语言