Jeferson Santos Barros

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Experimental Platform

Formal Verification

Top Venues

Publications

Victor Hugo Schulz, Gabriel Mariano Marcelino, Laio Oriel Seman, Jeferson Santos Barros, Sangkyun Kim, Mengu Cho, Gabriel Villarrubia-González, Valderi Reis Quietinho Leithardt, Eduardo Augusto Bezerra
Universal Verification Platform and Star Simulator for Fast Star Tracker Design. Sensors 21 (3) (2021)
Jeferson Santos Barros, Victor Hugo Schulz, Djones Vinicius Lettnin
An Adaptive Closed-Loop Verification Approach in UVM-SystemC for AMS Circuits. SBCCI (2018)