|
Published Articles >> Table of Contents >> Abstract
November 2006 (Vol. 55, No. 11)
pp. 1367-1379
Advanced Analysis Techniques for Cross-Product Coverage
Hezi Azatchi
Laurent Fournier
Eitan Marcus
Shmuel Ur
Avi Ziv, IEEE
Keren Zohar
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2006.173
Send link to a friend
| Abstract |
|
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequately tested. Because of their sheer size, the analysis of large coverage models can be an intimidating and time-consuming task. This paper presents several techniques for coverage analysis. These techniques range from highly interactive and dynamic analysis that allows users to focus on certain aspects or areas of interest in the coverage model to fully automated coverage analysis, which identifies uncovered or lightly covered areas. The proposed techniques provide additional means for extracting relevant, useful information, thereby improving the quality of the coverage analysis. A number of examples show how the proposed method improved the verification of actual designs.
|
 References
|
[1] L. Fournier, Y. Arbetman, and M. Levinger, “Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator,” Proc. 1999 Design, Automation and Test in Europe Conf., pp. 434-441, Mar. 1999.
[2] B. Beizer, “The Pentium Bug, an Industry Watershed,” Testing Techniques Newsletter, On-Line Edition, Sept. 1995.
[3] A. Aharon, D. Goodman, M. Levinger, Y. Lichtenstein, Y. Malka, C. Metzger, M. Molcho, and G. Shurek, “Test Program Generation for Functional Verification of PowerPC Processors in IBM,” Proc. 32nd Design Automation Conf., pp. 279-285, June 1995.
[4] A. Ahi, G. Burroughs, A. Gore, S. LaMar, C. Linand, and A. Wieman, “Design Verification of the HP9000 Series 700 PA-RISC Workstations,” Hewlett-Packard J., vol. 14, no. 8, Aug. 1992.
[5] A. Piziali, Functional Verification Coverage Measurement and Analysis. Springer, 2004.
[6] R. Grinwald, E. Harel, M. Orgad, S. Ur, and A. Ziv, “User Defined Coverage—A Tool Supported Methodology for Design Verification,” Proc. 35th Design Automation Conf., pp. 158-165, June 1998.
[7] A. Hajjar, T. Chen, I. Munn, A. Andrews, and M. Bjorkman, “High Quality Behavioral Verification Using Statistical Stopping Criteria,” Proc. 2001 Design, Automation and Test in Europe Conf., pp. 411-418, Mar. 2001.
[8] S. Asaf, E. Marcus, and A. Ziv, “Defining Coverage Views to Improve Functional Coverage Analysis,” Proc. 41st Design Automation Conf., pp. 41-44, June 2004.
[9] O. Lachish, E. Marcus, S. Ur, and A. Ziv, “Hole Analysis for Functional Coverage Data,” Proc. 39th Design Automation Conf., pp.807-812, June 2002.
[10] S. Ur and A. Ziv, “Off-the-Shelf vs. Custom Made Coverage Models, Which Is the One for You?,” Proc. Seventh Int'l Conf. Software Testing Analysis and Rev. (STAR '98), May 1998.
[11] S. Fine and A. Ziv, “Coverage Directed Test Generation for Functional Verification Using Bayesian Networks,” Proc. 40th Design Automation Conf., pp. 286-291, June 2003.
[12] A. Adir, H. Azatchi, E. Bin, O. Peled, and K. Shoikhet, “A Generic Micro-Architectural Test Plan Approach for Microprocessor Verification,” Proc. 42nd Design Automation Conf., pp. 769-774, June 2005.
[13] A. Hartman, S. Ur, and A. Ziv, “Short vs Long Size Does Make a Difference,” Proc. High-Level Design Validation and Test Workshop, pp. 23-28, Nov. 1999.
[14] M. Aharoni, S. Asaf, L. Fournier, A. Koyfman, and R. Nagel, “FPgen—A Deep-Knowledge Test Generator for Floating Point Verification,” Proc. Eighth High-Level Design Validation and Test Workshop, pp. 17-22, 2003.
[15] E. Codd, “A Relational Model for Large Shared Data Banks,” Comm. ACM, vol. 3, no. 6, June 1970.
[16] M. Karnaugh, “The Map Method for Synthesis of Combinational Logic Circuits,” Trans. Am. Inst. of Electrical Engineers, vol. 72, no. 9, pp. 593-599, Nov. 1953.
[17] S. Fine and A. Ziv, “Enhancing the Control and Efficiency of the Covering Process,” Proc. High-Level Design Validation and Test Workshop, pp. 96-101, Nov. 2003.
|
 Additional Information
|
Index Terms- Functional verification, coverage analysis, classification algorithms.
Citation:
Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar,
"Advanced Analysis Techniques for Cross-Product Coverage,"
IEEE Transactions on Computers,
vol. 55,
no. 11,
pp. 1367-1379,
Nov.,
2006
|
|
RSS Feed