基于OFDM无线广播系统接收芯片验证平台的设计与实现
摘要
随着设计规模的不断增大,验证已成为芯片开发的瓶颈。根据有关的研究数据,目前在IC设计项目中,功能验证工作占据了整个设计流程的60%~80%的工作时间。验证一直而且将继续是设计中最困难和最有挑战性的课题之一。如何快速高效的实现功能验证平台,完成芯片的功能验证,成为当今IC设计验证领域的重要研究方向之一。
本文的研究内容是基于一个实际的工程项目“基于OFDM无线广播系统接收芯片的研发”。该芯片已在CMOS0.13微米的工艺下成功流片。本论文主要设计和实现了一个验证平台。该验证平台应用于一款基于OFDM无线广播系统接收芯片而搭建的验证环境。该验证平台通过层次化的结构,实现了如下功能,包括数据载入,数据读取,波形产生,网表验证和软硬件协同等。通过该验证平台,很好地达到了制定的验证目标,为该接收芯片的成功流片提供了保障。
论文首先对OFDM无线系统做了一个简单的介绍,然后介绍了IC验证的基础知识,接下来主要对基于OFDM无线接收芯片的设计做了一个概括性的介绍,最后是描述了整个无线接收芯片验证平台的设计以及实现及其验证结果。证明了该验证平台能够很好地支持芯片不同级别的验证,提高IC验证的效率,对以后的验证平台的搭建提供了很好的参考。
As the increasing gate count of IC design, the verification process has become the bottleneck of the IC development. According to the survey, functional verification takes up 60%~80% of the total work hours. The verification process is still one of the most difficult and the most challenged tasks. How to complete functional verification platform in a given time, undertaking the verification process, are the main research area of the verification.
The paper is based on a engineering project of“research and development of OFDM-based wireless demodulator chip”..This chip has been taped out successfully in CMOS 0.13 um technology. The verification platform is designed for the OFDM-based wireless broadcasting demodulator chip. With layered structure, the verification platform offers many functions, including data downloading, data reading, waveform generation, netlist verification and software-hardware co-verification. By this verification platform, we have finished the verification target, making assure the correctness of the demodulator chip.
The paper summarizes the OFDM-based wireless communication system, and then introduces the basics of verification. Thirdly, the paper describes the OFDM-based demodulator architecture and finally the verification platform and the results. The paper has demonstrated that the verification platform supports different level of verification, promoting the efficiency and a good reference for building new verification platform.
本文的研究内容是基于一个实际的工程项目“基于OFDM无线广播系统接收芯片的研发”。该芯片已在CMOS0.13微米的工艺下成功流片。本论文主要设计和实现了一个验证平台。该验证平台应用于一款基于OFDM无线广播系统接收芯片而搭建的验证环境。该验证平台通过层次化的结构,实现了如下功能,包括数据载入,数据读取,波形产生,网表验证和软硬件协同等。通过该验证平台,很好地达到了制定的验证目标,为该接收芯片的成功流片提供了保障。
论文首先对OFDM无线系统做了一个简单的介绍,然后介绍了IC验证的基础知识,接下来主要对基于OFDM无线接收芯片的设计做了一个概括性的介绍,最后是描述了整个无线接收芯片验证平台的设计以及实现及其验证结果。证明了该验证平台能够很好地支持芯片不同级别的验证,提高IC验证的效率,对以后的验证平台的搭建提供了很好的参考。
As the increasing gate count of IC design, the verification process has become the bottleneck of the IC development. According to the survey, functional verification takes up 60%~80% of the total work hours. The verification process is still one of the most difficult and the most challenged tasks. How to complete functional verification platform in a given time, undertaking the verification process, are the main research area of the verification.
The paper is based on a engineering project of“research and development of OFDM-based wireless demodulator chip”..This chip has been taped out successfully in CMOS 0.13 um technology. The verification platform is designed for the OFDM-based wireless broadcasting demodulator chip. With layered structure, the verification platform offers many functions, including data downloading, data reading, waveform generation, netlist verification and software-hardware co-verification. By this verification platform, we have finished the verification target, making assure the correctness of the demodulator chip.
The paper summarizes the OFDM-based wireless communication system, and then introduces the basics of verification. Thirdly, the paper describes the OFDM-based demodulator architecture and finally the verification platform and the results. The paper has demonstrated that the verification platform supports different level of verification, promoting the efficiency and a good reference for building new verification platform.
引文
1张珩,辜帆. VMM验证方法在AXI总线系统中的实现.中国集成电路. 2007, 6(97): 18~21
2龚艳丽,张志敏.基于EraSoC的模块级验证平台的设计.微电子学与计算机, 2008, 25(1): 181~184
3赵卫杰,郑建宏. RVM随机验证中的三个关键点及其应用.电子测试, 2008, 2(2): 85~88
4 Koji Ara, Kei Suzuki. A Proposal for Transaction-Level Verification with Component Wrapper Language. DATE’03, IEEE,Tokyo, Japan, 2003: 1530~1535
5 Alon Gluska. Coverage-Oriented Verification of Banias. DAC2003, ACM. Anaheim California, USA, 2003: 280~285
6万超,申敏. RVM在SoC验证中的应用及覆盖率驱动技术.重庆邮电大学学报, 2007, 19(5): 562~565
7徐伟俊,杨鑫,陈先勇等.针对功能覆盖率的验证过程.中国集成电路, 2007, 7(98): 58~62
8解咏梅,张珩,张福新.基于覆盖率的功能验证方法.计算机应用研究, 2005, (1): 23~25
9 Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari.SystemVerilog Assertions Handbook.陈俊杰等译,清华大学出版社, 2006: 183~217
10 J. Cortéz, D. Torres. Design And Verification Based On Assertions Some Statistics.2nd International Conference on Electrical and Electronics Engineering (ICEEE) and XI Conference on Electrical Engineering, 2005: 132~135
11 Kausik Datta, PPDas. Assertion Based Verification Using HDVL. The 17th International Conference on VLSI Design, 2004: 1~7
12 Parija Sule, Youngsik Kim, Nazanin Mansouri. Experiments in Employing (PSL) Standard Assertions in Theorem-Proving-Based Verification. Syracuse, NY. IEEE, 2005: 112~115
13 Eyal Segev, Sharon Goldshlager, Hillel Miller, etc. Evaluating and Comparing Simulation Verification vs. Formal Verification approach OnBlock Level Design. IEEE, 2004: 515~518
14 Edgar L.Romero, Marius Strum, Wang Jiang Chau. Comparing Two Testbench Methods for Hierarchical Functional Verification of a Bluetooth Baseband Adaptor. CODES and ISSS’05, Jersey City, New Jersey, USA, 2005: 327~332
15 Subir K.Roy, S. Ramesh, Supratik Chakraborty, etc. Functional Verification of System on Chips - Practices, Issues and Challenges. Proceedings of the
15th International Conference on VLSI Design (VLSID.02), IEEE, 2002: 1~3
16 Petlin, A. Genusov, L. Wakeman. Methodology and Code Reuse In the Verification of Telecommunication SoCs. IEEE, 2000: 187~191
17张林,曾庆凯.软件安全漏洞的静态检测技术.计算机工程,2008, 34(12): 157~159
18鲍华,洪一,郭二辉.面向SoC的软硬件协同验证平台设计.计算机工程, 2009, 35(8): 271~273
19叶磊.龙腾S2验证平台的设计.西北工业大学硕士学位论文, 2006
20罗桂琼. CPU系统级验证平台的研究与实现.邵阳学院学报(自然科学版), 2006, 3(2): 46~49
21胡建国,曾献君,陈亮,刑座程. CPU验证平台的研究与实现.微电子学, 2006, 36(1): 52~55
22易江芳,佟冬,程旭. GATEST:使用遗传算法自动生成模拟矢量的验证平台.北京大学学报(自然科学版), 2006, 42(5): 668~673
23侯秋菊,沈海华. IP可重用的AMBAAXI总线验证平台设计与实现.计算机工程与设计, 2008, 29(7): 1713~1715
24 Michael Keating, David Flynn, Robert Aitken, Alan Gibbons, Kaijian Shi. Low Power Methodology Manual.Springer. 2007
25刘兆勇.基于VMM的外部存储器的接口验证.哈尔滨工业大学硕士学位论文, 2008
26颜莉萍,金德鹏,曾烈光. RPR软硬件协同验证平台设计.光通信技术, 2007: 47~51
27贺珊,张多利. RVM在功能验证平台中的应用.微电子学与计算机, 2007,
24(5): 146~152
28李宥谋,韩俊刚. SDH芯片功能验证平台的设计与实现.光通信研究, 2005: 61~63
29杨焱,侯朝焕. VLIW处理器系统级验证平台的设计与实现.电子测量与仪器学报, 21(2): 81~83
30丁婷婷,申敏.分层式验证平台及覆盖率技术在SOC上的应用.北京电子科技学院学报, 2007, 15(2): 55~58
31陈辉,申敏,刘树军.高效验证平台在TD-SCDMA终端芯片功能验证中的应用.重庆邮电学院学报(自然科学版), 2006, 18(3): 300~303
32赵伟华,彭大芹.基于RVM SD/MMC卡控制器验证平台的搭建.电子测试. 2008, 5: 80~83
33常勇.基于RVM的层次化SoC芯片验证平台设计及应用.电子设计应用. 2007, 5: 77~79
34淮治华.基于VxWorks的SoC协同设计与验证技术研究与应用.西北工业大学硕士学位论文, 2009
35黄飞.基于事务的自动化验证平台的研究与实现.华中科技大学硕士学位论文, 2007
36庄伟,樊晓桠.嵌入式微处理器的系统验证平台设计.计算机应用研究, 2007, 24(10): 240~241
37张山刚.微处理器验证平台的实现.西北工业大学硕士学位论文, 2005
38胡建国,曾献君,刘龙,刘军等.微处理器硬件验证平台的设计与应用.微处理机, 2007, 2(1): 8~11
39詹文法,陶芳泽,张溯,程作仁.系统芯片验证平台设计.微机发展, 2005, 15(11): 11~13
40李树杰.中科SoC通用验证平台及验证方法学研究.山东科技大学硕士学位论文, 2005
2龚艳丽,张志敏.基于EraSoC的模块级验证平台的设计.微电子学与计算机, 2008, 25(1): 181~184
3赵卫杰,郑建宏. RVM随机验证中的三个关键点及其应用.电子测试, 2008, 2(2): 85~88
4 Koji Ara, Kei Suzuki. A Proposal for Transaction-Level Verification with Component Wrapper Language. DATE’03, IEEE,Tokyo, Japan, 2003: 1530~1535
5 Alon Gluska. Coverage-Oriented Verification of Banias. DAC2003, ACM. Anaheim California, USA, 2003: 280~285
6万超,申敏. RVM在SoC验证中的应用及覆盖率驱动技术.重庆邮电大学学报, 2007, 19(5): 562~565
7徐伟俊,杨鑫,陈先勇等.针对功能覆盖率的验证过程.中国集成电路, 2007, 7(98): 58~62
8解咏梅,张珩,张福新.基于覆盖率的功能验证方法.计算机应用研究, 2005, (1): 23~25
9 Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari.SystemVerilog Assertions Handbook.陈俊杰等译,清华大学出版社, 2006: 183~217
10 J. Cortéz, D. Torres. Design And Verification Based On Assertions Some Statistics.2nd International Conference on Electrical and Electronics Engineering (ICEEE) and XI Conference on Electrical Engineering, 2005: 132~135
11 Kausik Datta, PPDas. Assertion Based Verification Using HDVL. The 17th International Conference on VLSI Design, 2004: 1~7
12 Parija Sule, Youngsik Kim, Nazanin Mansouri. Experiments in Employing (PSL) Standard Assertions in Theorem-Proving-Based Verification. Syracuse, NY. IEEE, 2005: 112~115
13 Eyal Segev, Sharon Goldshlager, Hillel Miller, etc. Evaluating and Comparing Simulation Verification vs. Formal Verification approach OnBlock Level Design. IEEE, 2004: 515~518
14 Edgar L.Romero, Marius Strum, Wang Jiang Chau. Comparing Two Testbench Methods for Hierarchical Functional Verification of a Bluetooth Baseband Adaptor. CODES and ISSS’05, Jersey City, New Jersey, USA, 2005: 327~332
15 Subir K.Roy, S. Ramesh, Supratik Chakraborty, etc. Functional Verification of System on Chips - Practices, Issues and Challenges. Proceedings of the
15th International Conference on VLSI Design (VLSID.02), IEEE, 2002: 1~3
16 Petlin, A. Genusov, L. Wakeman. Methodology and Code Reuse In the Verification of Telecommunication SoCs. IEEE, 2000: 187~191
17张林,曾庆凯.软件安全漏洞的静态检测技术.计算机工程,2008, 34(12): 157~159
18鲍华,洪一,郭二辉.面向SoC的软硬件协同验证平台设计.计算机工程, 2009, 35(8): 271~273
19叶磊.龙腾S2验证平台的设计.西北工业大学硕士学位论文, 2006
20罗桂琼. CPU系统级验证平台的研究与实现.邵阳学院学报(自然科学版), 2006, 3(2): 46~49
21胡建国,曾献君,陈亮,刑座程. CPU验证平台的研究与实现.微电子学, 2006, 36(1): 52~55
22易江芳,佟冬,程旭. GATEST:使用遗传算法自动生成模拟矢量的验证平台.北京大学学报(自然科学版), 2006, 42(5): 668~673
23侯秋菊,沈海华. IP可重用的AMBAAXI总线验证平台设计与实现.计算机工程与设计, 2008, 29(7): 1713~1715
24 Michael Keating, David Flynn, Robert Aitken, Alan Gibbons, Kaijian Shi. Low Power Methodology Manual.Springer. 2007
25刘兆勇.基于VMM的外部存储器的接口验证.哈尔滨工业大学硕士学位论文, 2008
26颜莉萍,金德鹏,曾烈光. RPR软硬件协同验证平台设计.光通信技术, 2007: 47~51
27贺珊,张多利. RVM在功能验证平台中的应用.微电子学与计算机, 2007,
24(5): 146~152
28李宥谋,韩俊刚. SDH芯片功能验证平台的设计与实现.光通信研究, 2005: 61~63
29杨焱,侯朝焕. VLIW处理器系统级验证平台的设计与实现.电子测量与仪器学报, 21(2): 81~83
30丁婷婷,申敏.分层式验证平台及覆盖率技术在SOC上的应用.北京电子科技学院学报, 2007, 15(2): 55~58
31陈辉,申敏,刘树军.高效验证平台在TD-SCDMA终端芯片功能验证中的应用.重庆邮电学院学报(自然科学版), 2006, 18(3): 300~303
32赵伟华,彭大芹.基于RVM SD/MMC卡控制器验证平台的搭建.电子测试. 2008, 5: 80~83
33常勇.基于RVM的层次化SoC芯片验证平台设计及应用.电子设计应用. 2007, 5: 77~79
34淮治华.基于VxWorks的SoC协同设计与验证技术研究与应用.西北工业大学硕士学位论文, 2009
35黄飞.基于事务的自动化验证平台的研究与实现.华中科技大学硕士学位论文, 2007
36庄伟,樊晓桠.嵌入式微处理器的系统验证平台设计.计算机应用研究, 2007, 24(10): 240~241
37张山刚.微处理器验证平台的实现.西北工业大学硕士学位论文, 2005
38胡建国,曾献君,刘龙,刘军等.微处理器硬件验证平台的设计与应用.微处理机, 2007, 2(1): 8~11
39詹文法,陶芳泽,张溯,程作仁.系统芯片验证平台设计.微机发展, 2005, 15(11): 11~13
40李树杰.中科SoC通用验证平台及验证方法学研究.山东科技大学硕士学位论文, 2005