Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. - V. M. Achutha KiranKumar; Aarti Gupta; Rajnish Ghughal (FMCAD, 2012)

Formally Verifying Graphics FPU - An Intel® Experience. - Aarti Gupta; V. M. Achutha KiranKumar; Rajnish Ghughal (FM, 2014)