OCCOM: Efficient computation of observability-based code coverage metrics for functional verification

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 152-157

  Fallah, Farzan ^a   Devadas, Srinivas ^a   Keutzer, Kurt ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING; CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; DATA FLOW ANALYSIS;

COMPUTATIONALLY EFFICIENT; DESIGN VERIFICATION; EFFICIENT COMPUTATION; EVALUATION TECHNIQUES; FUNCTIONAL CORRECTNESS; FUNCTIONAL SIMULATIONS; FUNCTIONAL VERIFICATION; STATEMENT EXECUTION;

OBSERVABILITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES;

FLOWGRAPHS; FUNCTIONAL SIMULATION; FUNCTIONAL VERIFICATION; OBSERVABILITY-BASED CODE COVERAGE METRIC (OCCOM);

EID: 0031638166     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. 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. In Proceedings of the 32nd Design Automation Conference, June 1995.
2. B. Beizer. Software Testing Techniques. Van Nostrand Rhein- hold, New York, second edition, 1990.
3. M. A. Breuer and A. D. Friedman. Diagnosis and Reliable Design of Digital Systems. Computer Science Press, 1976.
4. K-T. Cheng and A. S. Krishnakumar. Automatic Functional Test Generation Using the Extended Finite State Machine Model. In Proceedings of the 30th Design Automation Conference, pages 86-91, June 1993.
5. S. Devadas, A. Ghosh, and K. Keutzer. An Observability- Based Code Coverage Metric for Functional Simulation. In z of the International Conference on Computer- Aided Design, pages 4184-25, November 1996.
6. D. Geist, M. Farkas, A. Landver, Y. Lichtenstein, S. Ur, and Y. Wolsfthal. Coverage-Directed Test Generation Using Symbolic Techniques. In Proceedings of the Int'l Conference on Formal Methods in CAD, November 1996.
7. T. Goradia. Dynamic Impact Analysis: A Cost Effective Technique to Enforce Error Propagation. In Proceedings of Int'l Symposium on Software Testing and Applications, March 1993.
8. A. Gupta, S. Malik, and P. Ashar. Toward Formalizing a Validation Methodology Using Simulation Coverage. In Proceedings of the 3Ath Design Automation Conference, pages 740-745, June 1997.
9. R. C. Ho, C. H. Yang, M. A. Horowitz, and D. L. Dill. Architecture Validation for Processors. In Proceedings of the 22nd Annual Symposium on Computer Architecture, June 1995.
10. Y. Hoskote, D. Moundanos, and J. A. Abraham. Automatic Extraction of the control flow machine and application to evaluating coverage of verification vectors. In Proceedings of the Int'l Conference on Computer Design, pages 532-537, October 1995.
11. K. D. Jones and J. P. Privitera. The Automatic Generation of Functional Test Vectors for Rambus Designs. In Proceedings of the 33rd Design Automation Conference, pages 415-420, June 1996.
12. M. Kantrowitz and L. M. Noack. I'm Done Simulating; Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 ALPHA microprocessor. In Proceedings of the 33rd Design Automation Conference, pages 325-330, June 1996.
13. B. Marick. The Craft of Software Testing. Prentice-Hall, Englewood Cliffs, N. J., 1995.
14. J. P. Roth. Diagnosis of Automata Failures: A Calculus and a Method. IBM journal of Research and Development, 10:278291, July 1966.
15. D. E. Thomas and P. R. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, Boston, MA, second edition, 1994.
16. J. M. Voas. PIE: A Dynamic Failure-Based Technique. IEEE Transactions on Software Engineering, 18(8):717-727, August 1992.