Oliveira, Marcel Vinicius MedeirosSilva, Luciano Alexandre de Farias2022-10-052022-10-052022-07-26SILVA, Luciano Alexandre de Farias. Geração automática de hardware concorrente verificado. Orientador: Marcel Vinícius Medeiros Oliveira. 2022. 80f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022.https://repositorio.ufrn.br/handle/123456789/49484Acesso AbertoComputaçãoMétodos formaisCSPVHDLGeração de códigoGeração automática de hardware concorrente verificadoAutomated generation of verified concurrent hardwaremasterThesisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO