Trabalho efetuado: * Escrita da dissertação. Resultados obtidos: * Documento final da dissertação, documentando o trabalho efetuado ao longo da Unidade Curricular.

Trabalho efetuado: * Finalização da síntese da solução para FPGA com a ferramenta Synplify; * Verificação Formal; * Teste de Geração Automática de Padrões de Teste (Automatic Teste Pattern Generation – ATPG); * Análise Temporal Estática (Static Timing Analysis – Continue reading →