RODRIGUES, C. L.; http://lattes.cnpq.br/2590620617848677; RODRIGUES, Cássio Leonardo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2010-04-14)
One of the biggest challenges in a digital circuit design is to assure that the final product
complies with its specifications. Functional verification is a widely employed technique to
certify that the digital circuit ...