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 条
[11]  
Hurlock S. T., 2009, US Patent US, Patent No. [7,502,728 B1, 7502728]
[12]  
Karimibiuki M, 2011, INT HIGH LEVEL DESIG, P92, DOI 10.1109/HLDVT.2011.6113982
[13]  
Mitra S., 2010, DES AUT C DAC
[14]  
White T., 2015, HADOOP DEFINITIVE GU