Joao Luis V. Oliveira

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Fpga Implementation

Formal Verification

Computing Systems

Top Venues

Publications

Kledermon Garcia, Duarte Lopes de Oliveira, Roberto d'Amore, Lester de Abreu Faria, Joao Luis V. Oliveira
FPGA implementation of optimized XBM specifications by transformation for AFSMs. ReConFig (2016)
Duarte Lopes de Oliveira, Diego Bompean, Lester de Abreu Faria, Joao Luis V. Oliveira
Design of asynchronous systems on FPGA using direct mapping and synchronous specification. ReConFig (2013)