A formal instruction-level GPU model for scalable verification.

Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik

Browse the full ICCAD paper archive.