Verificação funcional : um ambiente de teste computacional para um sistema digital com abordagem na segurança de hardware - Lima, Leandro Barbosa, 1978- (2018)
Orientador: Yuzo Iano