芯片验证漫游指南
<p>在本书中，资深验证专家刘斌（路桑)将向您全面介绍验证的理论实践，并针对系统设计给出了动态验证的集成解决方案。这是一本面向高校集成电路设计相关专业的芯片验证教材，是IC行业产学结合的典范,已投入到示范性微电子学院教学并得到检验。</p><p> </p>
<p>第1章 芯片验证全视</p>
<p>1.1 功能验证简介</p>
<p>1.2 验证的处境</p>
<p>1.3 验证能力的5个维度</p>
<p>1.4 验证的任务和目标</p>
<p>1.5 验证的周期</p>
<p>1.6 本章结束语</p>
<p>第2章 验证的策略</p>
<p>2.1 设计的流程</p>
<p>2.2 验证的层次</p>
<p>2.3 验证的透明度</p>
<p>2.4 激励的原则</p>
<p>2.5 检查的方法</p>
<p>2.6 集成的环境</p>
<p>2.7 本章结束语</p>
<p>第3章 验证的方法</p>
<p>3.1 动态仿真</p>
<p>3.2 静态检查</p>
<p>3.3 开发环境</p>
<p>3.4 虚拟模型</p>
<p>3.5 硬件加速</p>
<p>3.6 效能验证</p>
<p>3.7 性能验证</p>
<p>3.8 趋势展望</p>
<p>3.9 本章结束语</p>
<p>第4章 验证的计划</p>
<p>4.1 计划概述</p>
<p>4.2 计划的内容</p>
<p>4.3 计划的实现</p>
<p>4.4 计划的进程评估</p>
<p>4.5 本章结束语</p>
<p>第5章 验证的管理</p>
<p>5.1 验证周期的检查清单</p>
<p>5.2 验证管理的三要素</p>
<p>5.3 验证的收敛</p>
<p>5.4 让漏洞无处可逃</p>
<p>5.5 团队建设</p>
<p>5.6 验证师的培养</p>
<p>5.7 验证的专业化</p>
<p>5.8 本章结束语</p>
<p>第6章 验证的结构</p>
<p>6.1 测试平台概述</p>
<p>6.2 硬件设计描述</p>
<p>6.3 激励发生器</p>
<p>6.4 监测器</p>
<p>6.5 比较器</p>
<p>6.6 验证结构</p>
<p>6.7 本章结束语</p>
<p>第7章 SV环境构建</p>
<p>7.1 数据类型</p>
<p>7.2 模块定义与例化</p>
<p>7.3 接口</p>
<p>7.4 程序和模块</p>
<p>7.5 测试的始终</p>
<p>7.6 本章结束语</p>
<p>第8章 SV组件实现</p>
<p>8.1 激励发生器的驱动</p>
<p>8.2 激励发生器的封装</p>
<p>8.3 激励发生器的随机化</p>
<p>8.4 监测器的采样</p>
<p>8.5 组件间的通信</p>
<p>8.6 比较器和参考模型</p>
<p>8.7 测试环境的报告规范</p>
<p>8.8 本章结束语</p>
<p>第9章 SV系统集成</p>
<p>9.1 包的意义</p>
<p>9.2 验证环境的组装</p>
<p>9.3 测试场景的生成</p>
<p>9.4 灵活化的配置</p>
<p>9.5 初论环境的复用性</p>
<p>9.6 本章结束语</p>
<p>第10章 UVM世界观</p>
<p>10.1 我们所处的验证时代</p>
<p>10.2 类库地图</p>
<p>10.3 工厂机制</p>
<p>10.4 核心基类</p>
<p>10.5 phase机制</p>
<p>10.6 config机制</p>
<p>10.7 消息管理</p>
<p>10.8 宏的优劣探讨</p>
<p>10.9 本章结束语</p>
<p>第11章 UVM结构</p>
<p>11.1 组件家族</p>
<p>11.2 把DUT装进TB分几步</p>
<p>11.3 构建环境的内经</p>
<p>11.4 本章结束语</p>
<p>第12章 UVM通信</p>
<p>12.1 TLM通信概论</p>
<p>12.2 单向、双向及多向通信</p>
<p>12.3 通信管道应用</p>
<p>12.4 TLM2通信</p>
<p>12.5 同步通信元件</p>
<p>12.6 本章结束语</p>
<p>第13章 UVM序列</p>
<p>13.1 新手上路</p>
<p>13.2 Sequence和Item</p>
<p>13.3 Sequencer和Driver</p>
<p>13.4 Sequencer和Sequence</p>
<p>13.5 Sequence的层次化</p>
<p>13.6 本章结束语</p>
<p>第14章 UVM寄存器</p>
<p>14.1 寄存器模型概览</p>
<p>14.2 寄存器模型的集成</p>
<p>14.3 寄存器模型的常规方法</p>
<p>14.4 寄存器模型的场景应用</p>
<p>14.5 本章结束语</p>
<p>第15章 验证平台自动化</p>
<p>15.1 为什么需要一款代码生成器</p>
<p>15.2 UVM Framework</p>
<p>15.3 如何定制一款TB自动化工具</p>
<p>15.4 本章结束语</p>
<p>第16章 跨平台移植复用</p>
<p>16.1 便携激励标准（PSS）</p>
<p>16.2 PSS工具集概览</p>
<p>16.3 跨平台的验证结构考量</p>
<p>16.4 本章结束语</p>
<p>第17章 SV及UVM接口应用</p>
<p>17.1 DPI接口和C测试</p>
<p>17.2 SystemC与UVM的TLM2通信</p>
<p>17.3 MATLAB及Simulink模型与UVM的混合仿真</p>
<p>17.4 脚本语言与UVM的交互</p>
<p>17.5 本章结束语</p>
<p>第18章 SV及UVM高级话题</p>
<p>18.1 SystemVerilog开源公共库</p>
<p>18.2 SV单元测试方法SVUnit</p>
<p>18.3 OVM到UVM的移植</p>
<p>18.4 OVM与UVM的混合仿真</p>
<p>18.5 本章结束语</p>
<p>参考文献</p>
<p> </p>
<p><a href="https://download.eeworld.com.cn/detail/sigma/622651" target="_blank">https://download.eeworld.com.cn/detail/sigma/622651</a></p>
页:
[1]