Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU

V. M.Achutha Kirankumar, Aarti Gupta, Rajnish Ghughal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

Formal Verification (FV) is widely acknowledged for improving validation effectiveness. Usually formal verification has been used to supplement more traditional coverage oriented testing activities. Arithmetic Data-path FV has matured over the time to completely replace traditional dynamic validation methodologies. Moreover, it gives an additional promise of 100% data-space coverage. Symbolic Trajectory Evaluation (STE) is the best proven method of FV on Intel® data-path designs. The Floating Point Units (FPUs) are generally very data-path intensive. In the next generation Intel Processor Graphics design, the FPU was completely re-architected and this necessitated a methodology which could guarantee complete verification in a tight verification schedule. STE was brought in to meet this formidable target. This paper discusses the efficient application of this methodology to achieve convincing results. More than 201 bugs were caught in a very short verification cycle using STE.

Original languageEnglish (US)
Title of host publication2012 Formal Methods in Computer-Aided Design, FMCAD 2012
Pages149-156
Number of pages8
StatePublished - Dec 1 2012
Externally publishedYes
Event12th Conference on Formal Methods in Computer-Aided Design, FMCAD 2012 - Cambridge, United Kingdom
Duration: Oct 22 2012Oct 25 2012

Publication series

Name2012 Formal Methods in Computer-Aided Design, FMCAD 2012

Other

Other12th Conference on Formal Methods in Computer-Aided Design, FMCAD 2012
CountryUnited Kingdom
CityCambridge
Period10/22/1210/25/12

All Science Journal Classification (ASJC) codes

  • Computer Graphics and Computer-Aided Design
  • Computer Vision and Pattern Recognition

Fingerprint Dive into the research topics of 'Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU'. Together they form a unique fingerprint.

  • Cite this

    Kirankumar, V. M. A., Gupta, A., & Ghughal, R. (2012). Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. In 2012 Formal Methods in Computer-Aided Design, FMCAD 2012 (pp. 149-156). [6462567] (2012 Formal Methods in Computer-Aided Design, FMCAD 2012).