Ambiente integrado para especificação, projecto e verificação de unidades de controlo em FPGAs

Resumo

Este artigo descreve uma ferramenta de software que consiste num ambiente integrado utilizado para projectar, implementar e verificar unidades de controlo em FPGAs reconfiguráveis dinamicamente a partir da sua especificação formal. Esta é introduzida graficamente sob a forma de um algoritmo que será convertido numa descrição textual do circuito de modo a ser usado por uma ferramenta de síntese. Após a implementação é possível efectuar a depuração dos circuitos escolhendo em run-time o tipo de implementação que foi utilizada, assim como a FPGA escolhida, fechando assim o ciclo de desenvolvimento.