Silva, Luciano, AND 		Oliveira, Marcel.
" Automatic Generation of Verified Concurrent Hardware Using VHDL" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (6 December 2022)