A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors. - Marcilio, Gabriel; Santos, Luiz C. V.; Albertini, Bruno; Rigo, Sandro (DAC: Annual ACM/IEEE Design Automation Conference, 2009)