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

researchr

You are not signed in
Sign in
Sign up

V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal. Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. In Gianpiero Cabodi, Satnam Singh, editors, Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. pages 149-156, IEEE, 2012. [doi]

This author has not been identified. Look up 'V. M. Achutha KiranKumar' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in GoogleThis author has not been identified. Look up 'Rajnish Ghughal' in Google

runs on WebDSL