PESSOA, I. M.; http://lattes.cnpq.br/9482034617973689; PESSOA, Isaac Maia. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-04-10)
Functional verification complexity tends to increase exponentially with design size. The Moore’s
law places an ever growing demand on today’s verification engineer to continue to ensure that no bug
is missed in the ...