Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel processor graphics FPU
V. M. Achutha KiranKumar, Arpan Gupta, Rajnish Ghughal[Google Scholar] [DBLP] [Citeseer]
Formal Methods in Computer-Aided Design (FMCAD), 2012
IEEE
Pages 149-156
2012
Note(s): symbolic trajectory evaluation, CPU verification, x86 architecture
Papers: segar:fmsd:1995
IEEE
Pages 149-156
2012
Note(s): symbolic trajectory evaluation, CPU verification, x86 architecture
Papers: segar:fmsd:1995