Reaching Coverage Closure in Post-silicon Validation

被引:0
作者
Adir, Allon [1 ]
Nahir, Amir [1 ]
Ziv, Avi [1 ]
Meissner, Charles [2 ]
Schumann, John [2 ]
机构
[1] IBM Res Lab, Haifa, Israel
[2] IBM Server &Technol Grp, Austin, TX USA
来源
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING | 2011年 / 6504卷
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Obtaining coverage information in post-silicon validation is a difficult task. Adding coverage monitors to the silicon is costly in terms of timing, power, and area, and thus even if feasible, is limited to a small number of coverage monitors. We propose a new method for reaching coverage closure in post-silicon validation. The method is based on executing the post-silicon exercisers on a pre-silicon acceleration platform, collecting coverage information from these runs, and harvesting important test templates based on their coverage. This method was used in the verification of IBM's POWER7 processor. It contributed to the overall high-quality verification of the processor, and specifically to the post-silicon validation and bring-up.
引用
收藏
页码:60 / +
页数:3
相关论文
共 19 条
[1]   A reconfigurable Design-for-Debug infrastructure for SoCs [J].
Abramovici, Miron ;
Bradley, Paul ;
Dwarakanath, Kumar ;
Levin, Peter ;
Memmi, Gerard ;
Miller, Dave .
43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, :7-+
[2]   Genesys-pro: Innovations in test program generation for functional processor verification [J].
Adir, A ;
Almog, E ;
Fournier, L ;
Marcus, E ;
Rimon, M ;
Vinov, M ;
Ziv, A .
IEEE DESIGN & TEST OF COMPUTERS, 2004, 21 (02) :84-93
[3]   Advanced analysis techniques for cross-product coverage [J].
Azatchi, Hezi ;
Fournier, Laurent ;
Marcus, Eitan ;
Ur, Shmuel ;
Ziv, Avi ;
Zohar, Keren .
IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (11) :1367-1379
[4]   Using a constraint satisfaction formulation and solution techniques for random test program generation [J].
Bin, E ;
Emek, R ;
Shurek, G ;
Ziv, A .
IBM SYSTEMS JOURNAL, 2002, 41 (03) :386-402
[5]  
Buchnik E., 1997, P 4 AS PAC SOFTW ENG
[6]  
Carey M.R., 1979, Computers and Intractability: A Guide to the Theory of NP-Completeness
[7]   Automating post-silicon debugging and repair [J].
Chang, Kai-Hui ;
Markov, Igor L. ;
Bertacco, Valeria .
IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, :91-98
[8]  
Chvatal V., 1979, Mathematics of Operations Research, V4, P233, DOI 10.1287/moor.4.3.233
[9]   A probabilistic alternative to regression suites [J].
Copty, Shady ;
Fine, Shai ;
Ur, Shmuel ;
Yom-Tov, Elad ;
Ziv, Avi .
THEORETICAL COMPUTER SCIENCE, 2008, 404 (03) :219-234
[10]   EDA in IBM: Past, present, and future [J].
Darringer, J ;
Davidson, E ;
Hathaway, DJ ;
Koenemann, B ;
Lavin, M ;
Morrell, JK ;
Rahmat, K ;
Roesner, W ;
Schanzenbach, E ;
Tellez, G ;
Trevillyan, L .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (12) :1476-1497