김치

마라탕🔥

불닭

라면

떡볶이

김

오뚜기

선크림☀️

컵누들

감자칩

로그인/회원가입

한국어

English 简体中文繁體中文 한국어 日本語

{{sellerTotalView > 1 ? __("sellers", {number: sellerTotalView}) : __("seller", {number: sellerTotalView}) }}, {{numTotalView > 1 ? __("items", {number: numTotalView}) : __("item", {number: numTotalView}) }}

장바구니로 이동하여 결제하기

Nickname

당신의 이름을 알려주세요

이름 업데이트

xxxxxxx@yamibuy.com

계정 주문 찜하기

포인트 0

쿠폰 0

기프트 카드 잔액 $0.00

로그아웃

배송 지역 전환

지역에 따라 재고 및 배송 속도가 다를 수 있습니다.

위치 기록

상품입고 후 바로 알려드리겠습니다.

상품입고 후 알림 발송 주소: {{remindEmail}}

취소

Jingdong book

测试平台编写指南：SystemVerilog验证（原书第2版）

장바구니로 이동하여 결제하기

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

서적 컴퓨터 및 인터넷 프로그래밍 언어와 프로그래밍

Jingdong book

测试平台编写指南：SystemVerilog验证（原书第2版）

Name: 测试平台编写指南：SystemVerilog验证（原书第2版）
Brand: Jingdong book
SKU: 3118065931
Price: 32.29 USD
Availability: OutOfStock

{{__(":people-members", {'people': item.limit_people_count})}} {{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ item.invalid_price }} {{ itemDiscount }}

후 종료

{{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }}

{{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }} {{ itemCurrency }}{{ item.invalid_price }} {{itemDiscount}}

후에 세일 종료

후 초특가세일 시작 후 초특가세일 종료

{{ __( "Pay with Gift Card to get sale price: :itemCurrency:price", { 'itemCurrency' : itemCurrency, 'price' : (item.giftcard_price ? priceFormat(item.giftcard_price) : '0.00') } ) }} ({{ itemCurrency }}{{ priceFormat(item.giftcard_price / item.bundle_specification) }}/{{ item.unit }}) 상세정보

상품 유효 기간

판매 중단

이 상품이 언제 재입고될지는 알 수 없습니다.

현재 주소로 배송 불가

품절

제품 설명

제품 세부 정보 전체보기

Editer Recommend

本书可以作为学习System Verilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子，这些例子演示了如何使用面向对象编程(OOP)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。本书在创建测试平台方面有很多引导性的建议，能够帮你弄清楚为什么要使用类、随机化和功能覆盖率的概念。一旦你掌握了这门语言，就可以通过参考文献中所列举的方法学方面的书籍来学习关于建立测试平台的更多信息。

Content Description

本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明SystemVerilog的各种验证方法，以及如何根据实际的应用情况选择最优的方法达到尽可能高的覆盖率。而且，重点演示了如何使用面向对象编程(OOP)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台，此外，还论述了SystemVerilog与C语言的接口技术。
本书可供具有一定Vetilog编程基础的电路工程技术人员使用，也可作为高等院校电子类、自动化类、计算机类的学生参考书。

Catalogue

第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和foreach
2．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．．．end
3．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 在总线设计中使用modport
4．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顶层网单
……
第5章面向对象编程基础
第6章随机化
第7章线程以及线程间的通信
第8章面向对象编程的高级技巧指南
第9章功能覆盖率
第10章高级接口
第11章完整的System Verilog测试平台
第12章 System Verilog与C语言的接口

Book Abstract

第1章验证导论
“有些人相信，我们缺乏能够描述这个完美世界的编程语言……”
——《黑客帝国》，1999
设想一下，你被委任去为别人建一幢房子。你该从哪里开始呢？是不是一开始就考虑如何选择门窗、涂料和地毯的颜色，或者浴室的用料？当然不是！首先你必须考虑房的主人将如何使用房子内部的空间，这样才能确定应该建造什么类型的房子。你应该考虑的问题是他们是喜欢烹饪并且需要一个高端的厨房，还是喜欢在家里边看电影边吃外卖比萨？他们是需要一间书房或者额外的卧室，还是受预算所限要求更简朴一些？
在开始学习有关SystemVerilog语言的细节之前，你需要理解如何制订计划来验证你的设计，以及这个验证计划对测试平台结构的影响。如同所有房子都有厨房、卧室和浴室一样，所有测试平台也都需要共享一些用于产生激励和检验激励响应的结构。本章将就测试平台的构建和设计给出一些引导性的建议和编码风格方面的参考，以满足个性化的需要。这些技术使用了Bergeron等人2006年所著《SystemVerilog验证方法学》书中的一些概念，但不包括基本类。
作为一个验证工程师，你能学到的最重要的原则是“程序漏洞利大于弊”。不要因为害羞而不敢去找下一个漏洞，每次找到漏洞都应该果断报警并记录下来。整个项目的验证团队假定设计中存在漏洞，所以在流片之前每发现一个漏洞就意味着最终到客户手里少一个漏洞。你应该尽可能细致深入地去检验设计，并提取出所有可能的漏洞，尽管这些漏洞可能很容易修复。不要让设计者拿走了所有的荣誉——没有你的耐心细致、花样翻新的验证，设计有可能无法正常工作！

Introduction

SystemVerilog语言的出现只有短短几年的时间，目前市面上关于systemVerilog语言的中文书籍并不多见，而且大多都是介绍systemVerilog语言的设计特性。实际上，SystemVerilog语言除了具有设计特性外，还具有验证及其他诸多方面的特性。“验证”经常被认为是简单的仿真，这当然是一种误解，本书将告诉你其中缘由。
本书主要介绍SystemVerllog语言的验证技术，尤其侧重阐述如何使用受约束的随机测试来达到令人满意的覆盖率。原著作者克里斯·斯皮尔（chrisSpear）是一名资深的数字电路工程师，在软件编程方面有很丰富的经验，书中的很多观点和例子就来自于作者平时工作的积累。本书没有深奥的理论，叙述上深入浅出。而且由于作者同时也精通c++、Verilog和Vera等编程语言，所以书中对于systemVerilog与这些语言之间的差别以及易混淆的地方交代得十分清楚，特别适合systemerilog的初学者阅读。
本书的翻译过程颇为波折，前后总共持续了一年多的时间。当我们在2008年初开始着手翻译工作时，使用的还是本书的第一版。但翻译工作进行到将近一半时。获悉本书的第二版即将发行，于是转为等待翻译第二版。第二版除了章节内容上有所增补以外，原有章节的很多字句也有所改动，只得重新翻译、校对。
本书的翻译具体分工如下：第6、11章的翻译由张春负责；前言和第1、2、3、7、9章的翻译由麦宋平负责；第4、5、8、10、12章的翻译由赵益新负责；全书的审校和最终定稿由张春负责。
衷心感谢清华大学微电子学研究所的王志华教授，他在本书翻译之初就提出了很多具有指导性的意见，并且为翻译工作提供了很多支持。
衷心感谢科学出版社的支持，正是出版社各位编辑的鼓励和督促，以及他们勤勤恳恳的工作，才使得本书的中译本得以如期与读者见面。
由于本书的翻译稿出现第一版和第二版交叉，新词汇又比较多。圃于译者的经验和水平，虽然经过多次仔细的斟酌和校对。仍难免存在不准确和纰漏的地方，请读者不吝批评指正！

명세서

상표

Jingdong book

브랜드 영역

China

면책성명

제품 가격, 포장, 사양 등의 정보는 예고 없이 변경될 수 있습니다. 적시에 제품 정보를 업데이트 할 수 있도록 최선을 다하지만, 받은 실제 제품을 참고하시기 바랍니다. 제품을 사용하기 전에 반드시 제품에 동봉된 라벨, 경고 및 설명을 읽어 주십시오.

상세정보 보기

찜한 목록에 추가

{{ $isZh ? coupon.coupon_name_sub : coupon.coupon_ename_sub | formatCurrency }}

상세정보

수량

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

JD@CHINA 판매

배송지

69이상 주문 시 무료 배송

정품 보증

상세정보 보기

지역

장바구니에 추가됨

쇼핑 계속하기

당신을 위한 추천

쿠폰

받기 받았음 마감

곧 만료됩니다: {{ formatTime(coupon.use_end_time) }}

친구들과 공유하세요

취소

Yami 기프트카드 전용특가

기프트카드로 결제하면 전용특가를 받을 수 있습니다

규칙 설명

기프트카드 전용특가는 일부 상품에 대한 특혜가격입니다.

기프트카드 전용특가 상품 구매 시 E-기프트 카드 잔액으로 결제하고 기프트카드 잔액이 주문 내 상품의 총액을 지불하기에 충분하하 기프트카드 전용특가가 자동으로 활성화됩니다.

기프트 카드 잔액으로 결제하지 않거나 기프트카드 잔액이 전항의 요건을 충족하지 못할 경우 기프트카드 전용특가를 활성화할 수 없으며 상품은 정상 가격으로 구매할 수 있습니다.

기프트카드 전용특가 상품 구매 시 잔액이 부족할 경우 장바구니 또는 결제 페이지에서 "충전" 버튼을 클릭하여 기프트카드를 구매 및 충전할 수 있습니다.

기프트카드 전용특가가 있는 상품은 "전용특가"라는 특별한 가격표시가 표시됩니다.

질문이 있으시면 언제든지 고객 서비스에 문의하십시오.

Yami는 기프트카드 전용특가 관련 최종 해석권을 보유합니다.

Yami 판매

서비스 보장

$49 이상 무료 배송

걱정 없는 반품/교환

미국에서 발송

배송 정보

미국

표준 배송 $5.99(알래스카, 하와이 제외), 최종 가격 $49 이상 시 무료 배송

지역 배송 $5.99(캘리포니아, 뉴욕, 뉴저지, 매사추세츠, 펜실베이니아, 위 주의 일부 지역), 최종 가격 $49 이상 시 무료 배송

2일 이내 배송(알래스카 및 하와이 포함) $19.99부터 시작

반품 및 교환 정책

Yami는 고객님께 최상의 A/S를 제공하고, 모든 분들이 Yami에서 안심하고 쇼핑할 수 있도록 노력하고 있습니다. Yami의 자영 상품은 반품 및 교환 조건을 충족하는 경우, 상품 수령 후 30일 이내에 반품 및 교환할 수 있습니다(식품은 품질 문제로 인해 7일 이내에 반품 및 교환이 가능합니다. 모든 고객이 안전하고 고품질의 제품을 받을 수 있도록 뷰티 제품은 개봉 또는 사용 후에는 품질 문제를 제외하고 환불 또는 반품을 제공하지 않습니다. 기타 특별 카테고리의 제품은 고객 서비스에 문의하시기 바랍니다).
이해와 지원에 감사드립니다.

상세정보 보기

Yami 판매

Yami E-기프트카드 사용 약관

구매 시 자동 충전을 선택한 경우, 주문 완료 후 기프트카드가 자동으로 계정에 충전됩니다.

구매 시 이메일 발송을 선택한 경우, 주문 완료 후 시스템이 자동으로 카드 번호와 비밀번호를 입력한 이메일로 발송합니다.

이메일을 보낼 때, 모든 사용자는 이메일에 있는 카드 번호와 비밀번호를 사용하여 기프트카드를 충전할 수 있으니, 이메일 정보를 잘 보관하세요.

이메일을 받는 데 문제가 있으면, 고객 서비스에 연락하여 처리해 주세요.

이메일을 보낼 때, 기프트카드가 교환되지 않았다면 이메일을 재발송할 수 있습니다. 이미 다른 사용자에 의해 교환된 경우에는 보상할 수 없습니다.

Yamibuy의 E-기프트카드는 자영 또는 제3자 상품 구매에 사용할 수 있습니다.

Yamibuy의 E-기프트카드는 유효 기간 제한이 없으며, 장기간 유효합니다.

Yami 전자 상품권의 금액은 여러 번에 나눠서 사용할 수 있습니다；

Yami 전자 상품권 업무 규칙의 최종 해석 권한은 Yami 웹사이트에 있습니다.

반품 및 교환 정책

이미 사용된 E-기프트카드는 환불이 불가능합니다.

판매자: JD@CHINA

Yami 배송

서비스 보장

$49 이상 무료 배송

최고의 A/S

미국 본토에서 발송

배송 정보

미국

표준 배송 $5.99(알래스카, 하와이 제외), 최종 가격 $49 이상 시 무료 배송

지역 배송 $5.99(캘리포니아, 뉴욕, 뉴저지, 매사추세츠, 펜실베이니아, 위 주의 일부 지역), 최종 가격 $49 이상 시 무료 배송

2일 이내 배송(알래스카 및 하와이 포함) $19.99부터 시작

반품 및 교환 정책

제품을 받으신 후 30일 이내에 제품을 반품하실 수 있습니다. 반품된 품목은 구매에 대한 원본 송장을 포함하여 원래 포장된 새 품목이어야 합니다. 고객이 자신의 비용으로 제품을 반품합니다.

JD@CHINA 판매

Yami-China FC

서비스 보장

점포간 $:amount 이상 구매 시 무료 배송

30일 반품/교환 보장

Yami-중국 집하창고

Yami는 중국 내 주요 우수매장에서 제품을 선별하여 모아 Yami 중국통합센터로 배송하며 택배를 합친 후 전국 각지의 주소로 배송해 드립니다. 점포간 무료 배송 조건은 최저 $69입니다. 여러 판매자가 제공하는 다양한 상품 중에서 원하는 상품을 선택하고 점포간 무료배송으로 저렴한 배송비를 쉽게 누릴 수 있습니다.

반품 정책

30일 이내 반품 및 교환 보증을 제공합니다. 제품은 새로 사용하지 않은 원래 포장에 구매 증명서가 첨부되어 있어야 합니다. 상품 품질 문제, 잘못된 배송, 배송 누락 등 판매자의 실수로 인한 경우 환불 처리됩니다. 기타 사유로 인한 반품 및 교환은 배송비는 고객이 자체로 부담하셔야 합니다. 모든 제품은 장거리 배송을 하기 때문에 간혹 간단한 외부 포장이 눌려 마모되는 등이 있지만 내부 품질 문제가 없는 경우 반품 및 교환할 수 없습니다.

배송 정보

Yami 중국집하배송 Consolidated Shipping 배송비 $9.99 ($69 이상 주문시 무료배송)

중국 판매자는 주문 후 영업일 기준 2일 후에 상품을 발송합니다. 모든 택배는 Yami 중국통합센터(특별한 상황 및 중국 내 개별 법정 공휴일 제외)에 도착하여 택배를 합친 후 UPS를 통해 미국으로 배송됩니다. UPS는 중국에서 발송 후 미국까지 평균 10영업일 정도 소요되며 직배송 주문 번호에 따라 수시로 추적 및 조회할 수 있습니다 전염병의 영향으로 현재 물류가 5일 정도 지연될 수 있습니다. 택배는 고객 서명이 필요합니다. 서명하지 않은 경우 고객은 택배가 분실될 위험을 부담하게 됩니다.

JD@CHINA 판매

서비스 보장

69이상 주문 시 무료 배송

정품 보증

배송 정보

Yami Consolidated Shipping배송비$9.99($69 이상 주문 시 무료 배송)

Seller will ship the orders within 1-2 business days. The logistics time limit is expected to be 7-15 working days. In case of customs clearance, the delivery time will be extended by 3-7 days. The final receipt date is subject to the information of the postal company.

포인트 규칙

모든 품목은 Yamibuy 의 프로모션이나 포인트 이벤트에서 제외됩니다.

반품 및 교환 정책

Yami 앱 다운로드

의견 피드백

맨 위로 돌아가기

리뷰{{'('+ commentList.posts_count + ')'}}

당신의 체험을 공유하고 더 많은 사용자가 선택할 수 있도록 도와줍니다.

리뷰 작성

{{i}}별

{{i}} 별

{{ parseInt(commentRatingList[i]) }}%

{{ showTranslate(comment) }}접기

{{ strLimit(comment,800) }}전체 보기

Show Original

모두 보기

{{ formatTime(comment.in_dtm) }} 구매 완료 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

{{ showTranslate(comment) }}접기

{{ strLimit(comment,800) }}전체 보기

Show Original

모두 보기

{{ formatTime(comment.in_dtm) }} 구매 완료 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

조건에 맞는 리뷰가 없습니다

더 많은 리뷰 보기

리뷰 상세

{{ showTranslate(commentDetails) }}접기

{{ strLimit(commentDetails,800) }}전체 보기

Show Original

모두 보기

{{ formatTime(commentDetails.in_dtm) }} 구매 완료 {{groupData}}

내용을 입력하세요

답변{{'(' + replyList.length + ')'}}

{{ reply.reply_user_name }}답변{{ reply.parent_user_name }}

{{ showTranslate(reply) }}접기

{{ strLimit(reply,800) }}전체 보기

Show Original

내용을 입력하세요

취소

지금까지의 모든 리뷰입니다!

리뷰 작성하기

상품 평점

댓글을 입력하세요.

좋은 닉네임이 당신의 리뷰를 더 인기 있게 만들 것입니다!
여기에서 닉네임을 변경하면 개인정보의 닉네임도 같이 변경됩니다.

리뷰를 남겨주셔서 감사합니다

당신의 좋은 리뷰는 우리 커뮤니티가 아시아 최고의 상품을 찾는 데 도움이 됩니다.