论文摘要
联合检测是TD-SCDMA系统的关键技术之一,在展迅通信有限公司开发的第二代TD-SCDMA / GSM双模手机基带系统芯片中,采用了一个高性能的流水线加速器——联合检测加速器(Joint-Detection Accelerator,简称JDA)去实现这一技术。这一模块指令、工作模式、接口都十分复杂,充分验证该模块对于保证通信质量意义重大。为了有效的验证该模块,本文采取了一系列的手段和方法。首先,建立了一个流水线的行为级模型,作为该模块的“黄金模型”。该模型可用来实时的监测JDA模块的内部运行情况。基于该模型,一个周期精确的验证平台建立了起来,它实施一套复杂、精确的仿真流程,用来从成千上万的指令执行流中定位错误。这一平台的建立,大大减少了调试查错的时间。为了完备的验证JDA的功能,建立了另一个全局的验证平台。这个验证平台采用黑盒验证的方式,严格的模拟驱动软件的激励,并且自动比对结果。回归以及对验证覆盖率的分析都是基于该平台进行,分析表明,JDA的验证达到了足够的覆盖率。此外,对于JDA模块的验证还包括快速的原型验证、模块间协同仿真以及后仿真等。它们用来对功能、接口、时序进行进一步的确认。在JDA的验证过程中,广泛使用了SystemC语言,该语言不仅功能强大,而且引领着一套新的电子系统设计流程和方法。基于对新技术、新的验证方法学的关注,本文对SOC的设计及验证流程、SystemC语言的特点及其代表的ESL方法学都进行了一些探讨和研究。
论文目录
摘要Abstract第1章 引言1.1 联合检测技术简介1.2 联合检测技术实现1.3 JDA 模块的验证任务及难点1.4 本文的主要工作和贡献第2章 SOC 验证方法学2.1 SOC 设计挑战2.1.1 系统设计方法2.1.2 深亚微米效应2.1.3 IP 集成2.2 SOC 验证流程2.3 常用验证技术分类2.3.1 静态技术2.3.2 仿真技术2.3.3 硬件加速和原型验证2.4 验证平台策略2.5 本章小结第3章 SYSTEMC 语言简介3.1 SYSTEMC 语言结构及特点3.2 SYSTEMC 语言基本要素3.2.1 基本数据类型3.2.2 进程3.2.3 设计描述3.3 基于 SYSTEMC 语言的电子系统级设计方法3.4 快速建立 TLM 模型3.5 本章小结第4章 JDA 的验证平台及流程4.1 验证平台规划4.1.1 过去的验证手段及其弊端4.1.2 两个验证平台4.1.3 验证用到的小工具4.2 JDA 的行为级模型4.3 LOCAL TESTBENCH 介绍4.4 GLOBAL TESTBENCH 介绍4.4.1 总体验证平台简介4.4.2 Global testbench 结构4.4.3 文件格式定义4.4.4 回归分析4.5 关于两个验证平台之间文件的共享4.6 VERILOG 与 SYSTEMC 语言的联合仿真4.7 模块间联合仿真4.8 JDA 的快速原型验证4.9 JDA 的 POST-LAYOUT SIMULATION4.10 覆盖率分析4.11 仿真遇到的一个问题4.12 总结第5章 结论参考文献致谢附录A 代码覆盖率统计报告附录B 简单处理器行为建模示例个人简历
相关论文文献
标签:联合检测加速器论文; 片上系统论文; 电子系统级论文; 原型验证论文;