SILVA, Luciano; OLIVEIRA, Marcel.
Automatic Generation of Verified Concurrent Hardware Using VHDL. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 25. , 2022, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 55-72.