Cross-product functional coverage measurement with temporal properties-based assertions [logic verification]

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 834-839

  Ziv, Avi ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUXILIARY VARIABLES; COVERAGE MODELS; EFFICIENCY OF SIMULATIONS; FUNCTIONAL COVERAGE; LOGIC VERIFICATION; SUB-EXPRESSIONS;

EXHIBITIONS; MICROPROCESSOR CHIPS; SPECIFICATION LANGUAGES;

COMPUTER SIMULATION;

EID: 4444365516     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253710     Document Type: Conference Paper

References (11)

1. Y. Abarbanel, I. Beer, L. Gluhovsky, S. Keidar, and Y.Wolfsthal. FoCs-Automatic generation of simulation checkers from formal specification. In Proceedings of the 1999 Computer Aided Verification Conference, July 1999
2. R. Armoni et al. The ForSpec temporal logic: A new temporal property-specification language. In J.-P. Katoen and P. Stevens, editors, 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems, LNCS 2280, pages 296-311. Springer-Verlag, April 2002
3. I. Beer, S. Ben-David, C. Eisner, D. Fisman, A. Gringauze, and Y. Rodeh. The temporal logic Sugar. In G. Berry, H. Comon, and A. Finkel, editors, Proc. 13th International Conference on Computer Aided Verification (CAV), LNCS 2102, pages 363-368. Springer-Verlag, July 2001
4. J. Bergeron. Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, January 2000
5. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 996-1072. Elsevier Science Publishers, 1990
6. R. Grinwald, E. Harel, M. Orgad, S. Ur, and A. Ziv. User defined coverage-A tool supported methodology for design verification. In Proceedings of the 35th Design Automation Conference, pages 158-165, June 1998
7. B. Marick. The Craft of Software Testing, Subsystem testing Including Object-Based and Object-Oriented Testing. Prentice-Hall, 1985
8. J. Ruf, D.W. Hoffman, T. Kropf, andW. Rosenstiel. Checking temporal properties under simulation of executable system description. In Proceedings of the International High Level Design Validation and Test Workshop, pages 161-166, November 2000
9. J. Ruf, D.W. Hoffman, T. Kropf, and W. Rosenstiel. Simulation-guided property checking based on multi-valued ar-Automata. In Proceedings of the 2001 Design, Automation and Test in Europe Conference (DATE), pages 742-748, March 2001
10. S. Ur and A. Ziv. Off-The-shelf vs. custom made coverage models, which is the one for you? In proceedings of STAR98: The 7th international conference on software testing analysis and review, May 1998
11. SystemC 2.0 users guide. http://www.SystemC.org/.