A novel verification technique to uncover out-of-order DUV behaviors.

Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo

Browse the full DAC paper archive.