6
Publications
79
Citations
6
H-Index
2014
Active since
Affiliations
Felipe S. Marranghello is an author at Universidade Federal do Rio Grande do Sul specializing in computer architecture, automated reasoning, and engineering.
Top concepts
EngineeringAutomated ReasoningComputer EngineeringComputer ArchitectureComputer ScienceFormal MethodsCircuit DesignMicroelectronicsCircuit ComplexityFormal Verification
Publications per year
2014–2020
6
6
SAT-Sweeping Enhanced for Logic Synthesis
Luca Amarù, Felipe S. Marranghello, Eleonora Testa et al. · 2020 · 15 citations · Full text
SOP based logic synthesis for memristive IMPLY stateful logic
Felipe S. Marranghello, Vinicius Callegaro, André I. Reis et al. · 2015 · 12 citations
Rows per page
1–5 of 6