A novel verification technique to uncover out-of-order DUV behaviors. - Gabriel Marcilio; Luiz C. V. dos Santos; Bruno C. Albertini; Sandro Rigo (DAC, 2009)