系统芯片（SoC）验证方法与技术

系统芯片（SoC）验证方法与技术 内容提要

    《系统芯片（SoC）验证方法与技术》从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静态验证、物理验证、测试平台迁移、形式模型与等价性检查、代码静态检查与代码覆盖状况分析、定向随机测试等验证技术。
    《系统芯片（SoC）验证方法与技术》以蓝牙系统芯片为例，各章中有结合实际的代码和脚本可供读者参考，以帮助读者进一步深入理解。

系统芯片（SoC）验证方法与技术 目录

第1章 绪言

1.1 工艺的挑战
1.2 可供选用的验证技术
1.3 验证方法
1.4 测试平台的建立
1.5 测试平台的迁移
1.6 验证语言
1.7 验证IP重用
1.8 验证途径
1.9 验证和器件测试
1.10 验证计划
1.11 蓝牙系统芯片的参考设计
参考文献

第2章 系统级验证

2.1 系统设计
2.2 系统验证
2.3 蓝牙系统芯片
参考文献

第3章 功能级验证

3.1 IP功能块
3.2 功能块级验证
3.3 蓝牙系统芯片的功能块细节
3.4 代码静态检查
3.5 模型形式检查
3.6 功能验证与仿真
3.7 协议检查
3.8 定向随机测试
3.9 代码覆盖状况分析
参考文献

第4章 模拟与混合信号仿真

4.1 混合信号仿真
4.2 设计抽象层次
4.3 仿真环境
4.4 使用SPICE
4.5 仿真方法
4.6 蓝牙系统芯片中的数模转换器
4.7 含模拟混合信号功能块的芯片级验证
参考文献

第5章 仿真

· SystemC基础教程

· 系统芯片（SoC）验证方法与技术

· Verilog HDL综合实用教程

· VHDL-代码编写和基于SYNOPSYS工具的逻辑综合