rar

高级验证方法学(中文版)

  • 1星
  • 日期: 2013-09-22
  • 大小: 2.39MB
  • 所需积分:1分
  • 下载次数:2
  • favicon收藏
  • rep举报
  • 分享
  • free评论
标签: 高级验证方法学中文版

第 1 章使用手册指南. 12序 ............ 12绪论 ........ 15手册的使用 ........... 16本书的结构 ... 16形式  17构造和运行实例  17实例代码 ....... 18获取手册的套件  19符号说明  19组件  20接口  20互连  22通道  23总结  23命名惯例  23第 2 章验证原理......... 28两个问题  29测试平台  31第一个测试平台 ... 34第二个测试平台 ... 41第 3 章 AVM综述........ 46验证构件  46同心圆的测试平台架构  46处理器(Transactor) ... 48环境组件 ....... 49分析组件 ....... 49控制器 ........... 50两个域 .... 50面向对象编程风格 .... 51作为组件的对象  51继承  54接口  55总结 ........ 58第 4 章 TLM介绍......... 58事务的定义 ........... 59表示事务  60事务对象  60事务级模块和验证 .... 63简介 63参考模型 ....... 64说明  65主要概念 ....... 65SystemVerilog实现......... 66SystemC实现. 68Get .......... 70说明  71主要概念 ....... 71SystemVerilog实现......... 72SystemC实现. 73请求/响应 75说明  75主要概念 ....... 75SystemVerilog实现......... 76SystemC实现. 78FIFO ....... 81说明  81主要概念 ....... 81SystemVerilog实现......... 82SystemC实现. 85双向通讯  88说明  88主要概念 ....... 88SystemVerilog实现......... 90SystemC实现. 93事务级总线 ........... 95说明  95主要概念 ....... 95SystemC实现. 96第 5 章 SystemVerilog 中的AVM机制 105接口 ...... 105SystemVerilog 接口..... 105SystemVerilog虚拟接口........... 106纯虚接口类 . 107端口和输出 ......... 108端口 ............. 108输出端口 ..... 108环境类 .. 109连接阶段 ............. 111不分层次的绑定 .......... 111端口,输出口和继承 .. 113连接分析端口 .. 117虚拟接口和avm_env.... 121总结 ...... 124第 6 章测试基本原理.. 125一个存储器的测试平台 ...... 125说明 ............. 125主要概念 ..... 125监视器结构 . 126SystemVerilog实现细节........... 126SystemC实现细节........ 128带独立驱动器的存储器测试 .......... 130说明 ............. 130主要概念 ..... 130事务级激励发生器 ...... 131驱动器结构 . 131SystemVerilog实现细节........... 132说明 ............. 137主要概念 ..... 137驱动器设计 . 137SystemVerilog实现细节........... 137SystemC实现细节........ 139测试平台中的双向通讯 ...... 142说明 ............. 142主要概念 ..... 142SystemVerilog实现细节........... 142SystemC实现细节........ 146第 7 章完成测试....... 150记分板 .. 150说明 ............. 151主要概念 ..... 151分析端口 ..... 151记分板 ......... 152SystemVerilog基于类的实现细节......... 153SystemVerilog基于模块的实现细节..... 155SystemC实现细节........ 156覆盖率 .. 159说明 ............. 159主要概念 ..... 159覆盖率和覆盖率采集器 .......... 160SystemVerilog实现细节........... 160SystemVerilog基于模块的实现细节..... 162SystemC实现细节........ 164产生错误 ............. 165说明 ............. 166主要概念..... 166构造错误驱动器 .......... 166SystemVerilog基于类的实现细节......... 168SystemVerilog基于模块的实现细节..... 169SystemC实现细节........ 171第 8 章逐步替换..... 173事务级FPU.......... 174说明 ............. 174主要概念 ..... 174SystemVerilog实现细节........... 175FPU RTL ............. 179说明 ............. 179主要概念 ..... 181SystemVerilog实现细节........... 182FPU golden模型.. 188说明 ............. 188主要概念 ..... 189SystemVerilog 实现细节......... 189SystemC 实现细节...... 190第 9 章有约束的随机验证...... 191CRV方法概述..... 191定向测试 ..... 191有约束的随机验证 ...... 192约束随机中的定向测试 .......... 193技术基础 ..... 193以对象为导向的随机化 ...... 197以对象为导向的基础 .. 197给对象增加随机性 ...... 199用继承法的层次约束 .. 200管理约束 ............. 201动态修改约束 .. 201过度约束 ..... 202隐含 ............. 204分配和求解顺序 .......... 205约束中的有用操作 .. 206设定成员资格 .. 206高级话题 ............. 209类群 ............. 209状态决定约束实例 ...... 211第 10 章基于断言的监视器. 212基于断言的监视器 .. 212说明 ............. 213主要概念 ..... 213基于断言的协议监视器实例.. 214SystemVerilog实现细节........... 216基于断言检查器的测试 ...... 221说明 ............. 221主要概念 ..... 221SystemVerilog实现细节........... 222附录A SystemVerilog AVM库..... 226引言 ...... 226报告 ...... 226基本报告方法 .. 226冗余级 ......... 227动作 ............. 227文件输出 ..... 229报告格式化程序 .......... 230构造模块 ............. 231avm_named_component ........... 231avm_verification_component ... 236avm_env....... 238核心AVM类和组件. 239avm_transaction 239avm_stimulus.... 240analysis_if 和 analysis_port.... 241avm_in_order_comparator........ 243avm_subscriber. 244TLM库.. 245TLM接口..... 245TLM通道..... 246附加的AVM组件 248avm_algorithmic_comparator... 248avm_global_analysis_ports....... 250使用模板问题 ..... 250使用完好的过程控制 .. 251事务,便捷方法和定向测试 .. 254可复制的随机激励 ...... 255编码技术 ............. 255包和多级继承 .. 256策略类 ......... 258附录B ........... 261参考书目 ............. 261

更多简介内容

推荐帖子

关于CC1312R 的LAUNCHPAD 版本区别问题
网购一块LAUNCHXL-CC1312R1 Rev:A的开发板,主芯片为:XCC1312R1F3 ,开发环境:CCS920+simplelink_cc13x2_26x2_sdk_3_30_00_03,当前问题是: 1:可以烧写程序,但开发板上程序不正常运行,比如PWMLED例程,板子无反应,暂停debug时报错说chipinfo.c找不到。 2:从网上看说时此开发板搭载芯片版本和SDK
火辣西米秀 【无线连接】
什么是API?什么是SPI?
Programming Interface应用程序接口,而SPI是Service Provider Interface服务商提供接口。 在JDK是有如下描述: · the API is the description of classes/interfaces/methods/... that you call and use to achieve a goal and · the SPI
火辣西米秀 【微控制器 MCU】
TMS320C28x系列TMS320F2837x开发板的蜂鸣器、直流电机和步进电机接口
处理器 TI TMS320F2837x单/双核具有200MHz的高速处理能力,双核拥有多达12路的PWM输出。以下分别是TMS320F2837x单/双核CPU资源框图: 蜂鸣器 本开发板搭载有无源蜂鸣器,可以发出不同频率的声音,接口定义如下图: 直流电机和步进电机接口 板载1个直流电机(2pin)和1个五线四相步进电机(5pin),采用
火辣西米秀 【微控制器 MCU】
你是课代表——TI培训最受欢迎课程由你做主 发帖荐课即可参与幸运抽奖!
TI 培训课程新上线“荐课”功能,推荐你看好的TI 培训课程给EE网友,分享优质资源~功能在公测阶段时即获得不少网友的喜爱,反响强烈!很多网友试用(查看详情>>),群众的眼光是雪亮的! TI培训“荐课”功能正式投入使用! 即日起-6月28日,使用TI培训“荐课”功能推荐你喜欢的课程发帖至论坛,即有抽奖等多重惊喜等着你~   参与方式: 1、根据下文“荐课”功能使用说明,开启“荐课”,推
EE大学堂 TI技术论坛
Qorvo PAC系列高集成度电机控制芯片及应用
Qorvo是一家专注于创新射频解决方案的提供商,公司针对移动设备、网络基础设施、国防和航天等市场提供一整套的射频解决方案,全球拥有8000名员工,在北京和山东德州建设有工厂。     作为一家以技术创新为导向的公司,Qorvo的产品线分为基础设施与国防产品、移动产品两个部门。主要的增长点放在GaN、IoT和5G等市场。根据市场的发展方向,Qorvo还会通过收购去扩充其增长
fish001 RF/无线
一图看懂芯片系列:华为麒麟超强科普之射频
本帖最后由 btty038 于 2020-5-8 21:38 编辑 一图看懂芯片系列:华为麒麟超强科普之射频 提起通信只能想到5G Modem? 在卓越通信能力的背后 还有一位异常低调的朋友——射频                          
btty038 RF/无线

评论

登录/注册

意见反馈

求资源

回顶部

datasheet推荐 换一换

About Us 关于我们 客户服务 联系方式 器件索引 网站地图 最新更新 手机版 版权声明

北京市海淀区知春路23号集成电路设计园量子银座1305 电话:(010)82350740 邮编:100191

电子工程世界版权所有 京ICP证060456号 京ICP备10001474号 电信业务审批[2006]字第258号函 京公海网安备110108001534 Copyright © 2005-2020 EEWORLD.com.cn, Inc. All rights reserved
$(function(){ var appid = $(".select li a").data("channel"); $(".select li a").click(function(){ var appid = $(this).data("channel"); $('.select dt').html($(this).html()); $('#channel').val(appid); }) })