Verificação funcional de modelos transacionais de processadores - Oliveira Júnior, Jair Dias de (2014)