Systematic functional coverage metric synthesis from hierarchical temporal event relation graph

ABSTRACT

Functional coverage is a technique for checking the completeness of test vectors in HDL simulation. Temporal events are used to monitor the sequence of events in the specification. In this paper, automatic generation of temporal events for functional coverage is proposed. The HiTER is the graph where nodes represent basic temporal properties or subgraph and edges represent time-shift value between two nodes. Hierarchical temporal events are generated by traversing HiTER such that invalid, or irrelevant properties are eliminated. Concurrent edge groups make it possible to generate more comprehensive temporal properties and hierarchical structure makes it easy to describe large design by combining multiple subgraphs. Automatically enerated temporal events describe almost all the possible temporal properties of the design under verification.

REFERENCES

• 1: J. Van Leeuwen, Handbook of Theoretical Computer Science, Elsevier Science Inc., New York, NY, 1990
• 2: Shai Fine , Avi Ziv, Coverage directed test generation for functional verification using bayesian networks, Proceedings of the 40th conference on Design automation, June 02-06, 2003, Anaheim, CA, USA [doi>10.1145/775832.775907]
• 3: Raanan Grinwald , Eran Harel , Michael Orgad , Shmuel Ur , Avi Ziv, User defined coverage—a tool supported methodology for design verification, Proceedings of the 35th annual conference on Design automation, p.158-163, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277081]
• 4: Aarti Gupta , Albert E. Casavant , Pranav Ashar , Akira Mukaiyama , Kazutoshi Wakabayashi , X. G. (Sean) Liu, Property-Specific Testbench Generation for Guided Simulation, Proceedings of the 2002 conference on Asia South Pacific design automation/VLSI Design, p.524, January 07-11, 2002
• 5: Pei Hsin Ho , Thomas Shiple , Kevin Harer , James Kukula , Robert Damiano , Valeria Bertacco , Jerry Taylor , Jiang Long, Smart simulation using collaborative formal and simulation engines, Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design, November 05-09, 2000, San Jose, California
• 6: Yatin V. Hoskote , Dinos Moundanos , Jacob A. Abraham, Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors, Proceedings of the 1995 International Conference on Computer Design: VLSI in Computers and Processors, p.532-537, October 02-04, 1995
• 7: Dinos Moundanos , Jacob A. Abraham , Yatin V. Hoskote, Abstraction Techniques for Validation Coverage Analysis and Test Generation, IEEE Transactions on Computers, v.47 n.1, p.2-14, January 1998 [doi>10.1109/12.656068]
• 8: J. Ruf , D. Hoffmann , T. Kropf , W. Rosenstiel, Simulation-guided property checking based on a multi-valued AR-automata, Proceedings of the conference on Design, automation and test in Europe, p.742-748, March 2001, Munich, Germany
• 9: Kanna Shimizu , David L. Dill, Deriving a simulation input generator and a coverage metric from a formal specification, Proceedings of the 39th conference on Design automation, June 10-14, 2002, New Orleans, Louisiana, USA [doi>10.1145/513918.514118]
• 10: Synopsys. OpenVera Language Reference Manual, 2.2 edition, Apr. 2002.
• 11: Shmuel Ur , Yaov Yadin, Micro architecture coverage directed generation of test programs, Proceedings of the 36th ACM/IEEE conference on Design automation, p.175-180, June 21-25, 1999, New Orleans, Louisiana, United States [doi>10.1145/309847.309909]
• 12: S. Ur and A. Ziv. Off-the-shelf vs. custom made coverage models, which is the one for you? In International Symposium on Software Testing and Analysis Review, 1998.
• 13: Avi Ziv, Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions, Proceedings of the conference on Design, Automation and Test in Europe, p.10834, March 03-07, 2003

INDEX TERMS

Primary Classification:
  B. Hardware
  B.2 ARITHMETIC AND LOGIC STRUCTURES
      B.2.2 Performance Analysis and Design Aids**

General Terms:
Verification

Keywords:
functional coverage, semi-formal verification, temporal event