User defined coverage-A tool supported methodology for design verification

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 158-163

  Grinwald, Raanan ^a   Harel, Eran ^a   Orgad, Michael ^a   Ur, Shmuel ^a   Ziv, Avi ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED CIRCUIT DESIGN; APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; MICROPROCESSOR CHIPS;

BEST FIT; COVERAGE ANALYSIS; COVERAGE MODELS; DESIGN VERIFICATION; MEASUREMENT TOOLS; MICRO ARCHITECTURES; SYSTEM VERIFICATIONS;

COMPUTER ARCHITECTURE; COMPUTER SYSTEMS PROGRAMMING;

COVERAGE ANALYSIS TOOLS; SOFTWARE PACKAGE COMET;

EID: 0031628215     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277044.277081     Document Type: Conference Paper

References (13)

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, pages 279-285, June 1995.
2. A.M. Ahi, G.D. Burroughs, A.B. Gore, S.W. La Mar, C.R. Linand, and A.L. Wieman. Design verification of the HP9000 series 700 PA-RISC workstations. Hewlett- Packard Journal, 14(8), August 1992.
3. J. Baumgartner and R. Raghavan. Method to compute test coverage in complex computer system simulation. IBM Technical Disclosure Bulletin, 40(3): 1-4, March 1997.
4. B. Beizer. The Pentium bug, an industry watershed. Testing Techniques Newsletter, On-Line Edition, September 1995.
5. J.S. Bowman, S.L. Emerson, and M. Drnovsky. The practical SQL handbook: using structured query language. Addison-Wesley, 1996.
6. E. Buchnik and S. Ur. Compacting regression-suites on- The-fly. In Proceedings of the 4th Asia Pacific Software Engineering Conference, December 1997.
7. P. Cabena, P. Hadjinian, R. Stadler, J. Verhees, and A. Zanasi. Discovering Data Mining, from Concept to Implementation. Prentice Hall, 1997.
8. J.R. Horgan, S. London, and M.R. Lyu. Achieving software quality with testing coverage measures. Computer, 27(9):60-69, September 1994.
9. A. Hosseini, D. Mavroidis, and P. Konas. Code generation and analysis for the functional verification of microporcessors. In Proceedings of the SSnd Design Automation Conference, pages 305-310, June 1996.
10. B. Marick. The Craft of Software Testing, Subsystem testing Including Object-Based and Object-Oriented Testing. Prentice-Hall, 1985.
11. 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.
12. Vhdlcover: How thoroughly have you simulated your vhdl code? http://www.veda.co.uk/vhdlcov.html.
13. Visual State Score. http://www.summit-design.com/products/vcd/index.html.