Construction of Coverage Data for Post-Silicon Validation Using Big Data Techniques

被引:0
作者
El Mandouh, Eman [1 ]
Gamal, A. [2 ]
Khaled, A. [2 ]
Ibrahim, T. [2 ]
Wassal, Amr G. [2 ]
Hemayed, Elsayed [2 ]
机构
[1] Mentor Graph Corp, Design Verificat Technol, Wilsonville, OR 97070 USA
[2] Cairo Univ, Comp Engn Dept, Cairo, Egypt
来源
2017 24TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (ICECS) | 2017年
关键词
Coverage Based Verification; Post-Silicon Validation; Big Data;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Full-system FPGA prototyping is now being widely used in the industry for System-on-Chip (SoC) verification. Prototyping platforms run tests in a fraction of time compared to traditional simulation based verification. However, unlike simulation, they do not provide a good visibility about the Design under Verification (DUV) or its achieved verification results. Coverage is the standard measure of validation effectiveness and is extensively used pre-silicon. But it is very challengeable to analyze coverage data in post-silicon validation. This usually requires the addition of extra logic to the silicon as coverage monitors, which are costly in terms of area, power and timing. In this paper, we propose a framework for coverage data construction from the HW design trace buffer values during silicon execution. Our approach avoids the addition of extra synthesized coverage monitors logic. Additionally, it overcomes the challenge of processing huge traces result from the execution of tests that are impossibly expensive to run in pre-silicon simulation. Our work applies state-of-the-art big data techniques to reduce the processing and coverage data construction overhead. Our results indicate how the proposed framework managed to extract coverage data from FPGA prototyping runs that matches the one generated from the pre-silicon verification results for new-to-verify HW designs.
引用
收藏
页码:46 / 49
页数:4
相关论文
共 14 条
[1]  
Adir A., 2011, Design Automation and Test in Europe Conference (DATE), P1
[2]  
Adir Allon., 2010, Proceedings of the 6th International Conference on Hardware and Software: Verification and Testing, HVC'10, page, P60
[3]  
Allan G., COVERAGE COOKBOOK ME
[4]  
[Anonymous], 18002012 IEEE
[5]  
[Anonymous], 2012, GUIDE USING LZO COMP
[6]  
Athavale V, 2012, CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS, P207
[7]   Functional coverage measurements and results in post-silicon validation of Core™2 Duo family [J].
Bojan, Tommy ;
Arreola, Manuel Aguilar ;
Shlomo, Eran ;
Shachar, Tal .
2007 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2007, :145-150
[8]  
Boul M., 2008, Generating Hardware Assertion Checkers: For Hardware Ver- ification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
[9]  
Cong K, 2014, DES AUT TEST EUROPE
[10]  
Farahmandi F, 2017, DES AUT TEST EUROPE, P392, DOI 10.23919/DATE.2017.7927022