SILVEIRA, G. S.; http://lattes.cnpq.br/2934289095298260; SILVEIRA, George Sobral. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2008-06-20)
The advent of the new VLSI technology and SoC design methodologies has brought
about an explosive growth to the complexity of modern electronic circuits. As a result,
the functional verification has become the main ...