A Distributed Functional Verification Environment for the Design of System-on-Chip in Heterogeneous Architectures. - Thiago Werlley B. Silva; Daniel C. Morais 001; Halamo G. R. Andrade; Felipe C. A. Nunes; Elmar Uwe Kurt Melcher; Antonio Marcus Nogueira de Lima; Alisson V. Brito (SBCCI, 2018)