Formally Verifying Graphics FPU - An Intel Experience.

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

Browse the full FM paper archive.