Convolução como Caso de Estudo para Formalização em PVS da Correção Funcional de Implementações em FPGA's

Ariane Alves Almeida, Mauricio Ayala-Rincón e Jones Yudi Mori

Trabalho Completo - apresentado como Oral - 2013

PDF

Citação:

Ariane Alves Almeida, Mauricio Ayala-Rincón e Jones Yudi Mori. 2013. Convolução como Caso de Estudo para Formalização em PVS da Correção Funcional de Implementações em FPGA's. Em Anais do Encontro Anual de Computação de 2013 - ENACOMP 2013. Catalão, GO, Brasil.