原型基于FPGA原型对基带信号处理芯片验证实现集

摘要3-4

Abstract4-5

目录5-7

1 绪论7-10

1.1 课题的探讨背景及作用7-8

1.2 国内外探讨的进展动态8-9

1.3 论文的结构和主要内容9-10

2 TD-LTE基带芯片的设计10-15

2.1 TD-LTE基站系统总体结构10

2.2 TD-LTE基带芯片的设计架构10-15

2.2.1 芯片的结构10-12

2.2.2 芯片的功能12-15

3 SOC验证技术概述15-30

3.1 仿真验证技术15-17

3.2 静态验证技术17

3.3 形式验证技术17-18

3.4 物理验证与浅析技术18-19

3.5 基于FPGA的原型验证技术19-30

3.5.1 FPGA芯片结构19-23

3.5.2 FPGA本身的设计流程23-24

3.5.3 与ISE工具对应的FPGA设计流程24-25

3.5.4 芯片的FPGA验证流程25-28

3.5.5 FPGA原型验证的优势与局限性28-30

4 基于FPGA的SOC原型验证的硬件平台30-35

4.1 原型验证的硬件平台30-34

4.1.1 Virtex7 2000t芯片的介绍30

4.1.2 硬件电路的整体架构30-34

4.2 Dual-V7 TAI Logic Module的优势34-35

5 基于FPGA的SOC原型验证的软件平台35-50

5.1 以SOC到FPGA代码的移植35-38

5.2 FPGA验证的芯片划片38-39

5.3 FPGA方式下的代码的仿真39-46

5.3.1 VCS中添加ISE的编译库40

5.3.2 仿真环境以及仿真策略40-43

5.3.3 仿真case以及仿真结果43-46

5.4 FPGA工程的实现46-50

5.4.1 FPGA的实现环境46-48

5.4.2 时序约束48-50

6 基于FPGA硬件平台上的验证调试50-57

6.1 单模块级的FPGA验证50-54

6.2 系统级的FPGA验证54-57

7 结论与展望57-58

致谢58-59