V. M. Achutha KiranKumar

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Model Validation

Multi Core Processors

Top Venues

Publications

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