Checking architectural outputs instruction-by-instruction on acceleration platforms.

Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco

Browse the full DAC paper archive.