Mayler Gama Alvarenga Martins

Mayler Gama Alvarenga Martins
Tel : +34 652 45 58 15 (texts accepted)
Site: http://www.inf.ufrgs.br/~mgamartins
E-mail: [email protected]
EDUCATION
Universidade Federal do Rio Grande do Sul (UFRGS)

Ph.D., Microelectronics.
09/2011 – 09/2015

M.Sc., Microelectronics. UFRGS
09/2009 – 09/2012
Universidade Federal do Espírito Santo (UFES)

B.Sc., Computer Engineering
05/2004 – 03/2009
RESEARCH EXPERIENCE
Universidade Federal do Rio Grande do Sul (UFRGS)
M.Sc. + Ph.D. Research
Research: Development of logic synthesis algorithms using Functional Composition (FC)
Results: The implemented algorithms are the following: Factorization of single and multi-output
Boolean functions, Minimum Decision Chain calculation and an algorithm to synthesize approximate
circuits containing triple modular redundancy (ATMR). Moreover, algorithms for emerging technologies
were implemented, including: Majority Logic for Quantum Cellular Automata (QCA), Threshold Logic for
Resonant Tunneling Diodes (RTD), Implication Logic for Memristors and algorithms for spin-diodes.
Universidade Federal do Espírito Santo (UFES)
Undergraduate Research
Research: Automation of scientific equipment with low-cost materials.
Results: The following equipment received a custom PC interface system in order to simplify data
acquisition: A Plasma torch prototype, an X-ray diffractometer, a spectrometer optic fiber control
system and a differential thermal oven. A new electronic system was designed to the differential
thermal oven from scratch, containing an adaptive predictive control system and multi-platform
software to manage efficiently the differential thermal analysis. The implemented prototype cost was
1/30 of a new one.
EXPERIENCE
 2014– Nangate Inc. (1-month internship)
Development of the Open Cell Library FREEPDK 15 nm.
 2010 – Nangate A/S Denmark (1-month internship)
Implementation of a Boolean data structure in order to optimize execution time of several algorithms.
PUBLICATIONS (JOURNALS)

Marranghello, F.S.; Callegaro, V.; Martins, M.G.A.; Reis, A.I.; Ribas, R.P. Factored Forms for
Memristive Stateful Logic. JETCAS 2015

Callegaro, V.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I. A Domain-Transformation Approach to
Synthesize Read-Polarity-Once Boolean Functions. JICS 2014
PUBLICATIONS (CONFERENCES)

Martins, M.G.A. et al, Automated Synthesis Approaches for Digital Integrated Design of Spin-Diode
Circuits. Accepted in IWLS 2015.

Marranghello, F.S.; Callegaro, V.; Martins, M.G.A.; Reis, A.I.; Ribas, R.P. A bottom-up disjoint-support
decomposition based on Boolean difference analysis. Accepted in IWLS 2015

Marranghello, F.S.; Callegaro, V.; Martins, M.G.A.; Reis, A.I.; Ribas, R.P. Improved Logic Synthesis for
Memristive Stateful Logic Using Multi-Memristor Implication. Accepted in ISCAS 2015

Mayler Martins et al. Open Cell Library in 15nm FreePDK Technology. (ISPD) 2015

Marranghello, F.S.; Martins, M.G.A.; Callegaro, V.; Reis, A.I.; Ribas, R.P., "Exploring factored forms
for sequential implication logic synthesis” (IEEE-NANO) 2014

Martins, M.G.A.; Callegaro, V.; Marranghello, F.S.; Ribas, R.P.; Reis, A.I., "Majority-based logic
synthesis for nanometric technologies” (IWLS) 2014

Neutzling, A.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., " An ISOP-based Method for Threshold Logic
Identification (IWLS) 2014

Marranghello, F.S.; Martins, M.G.A.; Callegaro, V.; Reis, A.I.; Ribas, R.P., " Comparison of Recursive
and Factored Forms for Memristor Based Implication Logic" (IWLS) 2014

Martins, M.G.A. et al "Majority-based logic synthesis for nanometric technologies” (IEEE-NANO) 2014

Neutzling, A.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., "A constructive approach for threshold logic
circuit synthesis” Circuits and Systems (ISCAS) 2014

Gomes, I.A.C.; Martins, M.; Lima Kastensmidt, F.; Reis, A.; Ribas, R.; Novales, S.P., "Methodology for
achieving best trade-off of area and fault masking coverage in ATMR” (LATW) 2014

Moreira, M.; Neutzling, A.; Martins, M.; Reis, A.; Ribas, R.; Calazans, N., "Semi-custom NCL Design
with Commercial EDA Frameworks: Is it Possible?” (ASYNC) 2014

Machado, L.; Martins, M.G.A.; Callegaro, V.; Ribas, R.P.; Reis, A.I., "Iterative remapping respecting
timing constraints” VLSI (ISVLSI) 2013

Martins, M.G.A. et al, "Spin diode network synthesis using functional composition” (SBCCI) 2013

Neutzling, A.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., " Threshold Logic Synthesis Using Functional
Composition Paradigm” (IWLS) 2013

Neutzling, A.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., "Synthesis of threshold logic gates to
nanoelectronics” (SBCCI) 2013

Callegaro, V.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., "Read-polarity-once Boolean functions" (SBCCI)
2013

Callegaro, V.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., " Read-Polarity-Once Boolean functions
Revisited" (IWLS) 2013

Machado, L.; Martins, M.; Callegaro, V.; Ribas, R.P.; Reis, A.I., "KL-cut based digital circuit
remapping” (NORCHIP) 2012

Callegaro, V.; Martins, M.G.A.; Ribas, R.P.; Reis, A.I., "Read-polarity-once functions” (IWLS) 2012

Martins, M. et al, "Functional Composition and Applications" (IWLS) 2012

Martins, M.G.A.; Ribas, R.P.; Reis, A.I., "Functional composition: A new paradigm for performing logic
synthesis” (ISQED) 2012

M. G. A. Martins, V. Callegaro, R. P. Ribas, and A. I. Reis. "Efficient method to compute minimum
decision chains of Boolean functions. (GLSVLSI) 2011

Martins, M.G.A. et al "Boolean factoring with multi-objective goals” (ICCD) 2010
AWARDS AND HONOURS

Best Paper Award (SBCCI 2013)

Laurea (MSc) Degree in Microelectronics – UFRGS.
EXTENSION COURSES

Microfabrication Workshop: Design and Construction of CMOS – Unicamp (2012)

Advanced Microsystems Technologies for Sensor Applications – Universität Paderborn/FernUniversität in
Hagen/Fachhochschule Münster/UFRGS (2011)

Designer of Digital Integrated Circuits – Cadence/NSCAD/ UFRGS (2009)

Fundamentals of FPGA Design – NSCAD/UFRGS (2009)
HOBBIES
Table tennis
Science fiction movies and books
Visit new places
Automation with microcontrollers