A verificação de sistemas digitais é de tamanha importância que se desenvolveu toda uma disciplina e conjunto de estudos dedicados a ampliar e melhorar as técnicas empregadas nesse processo. Os custos envolvidos em uma falha em um sistema digital de larga escala vão desde algumas horas perdidas por um desenvolvedor até milhões de dólares na correção de uma falha que tenha alcançado a fabricação de um circuito integrado.

Em se tratando da estruturação de testes de máquinas de estado podemos afirmar:
I. Testes auto verificáveis implicam em um esforço inicial para configuração do sistema, mas são mais adequados em um processo de desenvolvimento de longo prazo dada a capacidade de repeti-los com frequência uma vez que estejam implementados.
II. Todos os blocos digitais descritos no teste precisam ter capacidade de serem sintetizáveis e devem funcionar na tecnologia final do projeto
III. O uso de task pode auxiliar na descrição de testes reutilizáveis e acelerar o processo de desenvolvimento
IV. Em Verilog estamos limitados ao uso dos eventos fornecidos pela linguagem sem a possibilidade de extensão dos mesmos para testes no sistema.

Escolha uma:
a. Apenas as alternativas II e III estão corretas.
b. Apenas as alternativas I e III estão corretas. Correto
c. Apenas as alternativas II está correta.
d. Apenas as alternativas II e IV estão corretas.
e. Apenas as alternativas I e IV estão corretas.