Renato P. Ribas

发表

Spin diode network synthesis using functional composition

Mayler G. A. Martins, Felipe S. Marranghello, Joseph S. Friedman, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Factored Forms for Memristive Material Implication Stateful Logic

Mayler G. A. Martins, Felipe S. Marranghello, Renato P. Ribas, 2015, IEEE Journal on Emerging and Selected Topics in Circuits and Systems.

Concepção de Circuitos e Sistemas Integrados

Marcelo Lubaszewski, Renato P. Ribas, André Inácio Reis, 2001, RITA.

Integrated circuits design teaching using professional CAD environments

Renato P. Ribas, Felipe Rudge Barbosa, N. Turatti, 2001, Proceedings 2001 International Conference on Microelectronic Systems Education.

Routing Resistance Influence in Loading Effect on Leakage Analysis

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2009, PATMOS.

Iterative remapping respecting timing constraints

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Transistor Sizing Analysis of Regular Fabrics

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2011, ARCS Workshops.

Speed-Up of ASICs Derived from FPGAs by Transistor Network Synthesis Including Reordering

Felipe S. Marques, Renato P. Ribas, T.M.G. Cardoso, 2008, ISQED 2008.

Comb-shape microresonators modeling for microelectromechanical filter synthesis

Renato P. Ribas, Ignacio Iturrioz, Jun Sergio Ono Fonseca, 2003 .

Lithography analysis of via-configurable transistor-array fabrics

Renato P. Ribas, André Inácio Reis, Vinícius Dal Bem, 2012, NORCHIP 2012.

Constructive AIG optimization considering input weights

Renato P. Ribas, André Inácio Reis, Thiago Figueiro, 2011, 2011 12th International Symposium on Quality Electronic Design.

Deriving reduced transistor count circuits from AIGs

Renato P. Ribas, André Inácio Reis, Marcus Ritt, 2014, 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).

Open Cell Library in 15nm FreePDK Technology

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2015, ISPD.

BTI, HCI and TDDB aging impact in flip-flops

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2013, Microelectron. Reliab..

Leakage Analysis Considering the Effect of Inter-Cell Wire Resistance for Nanoscaled CMOS Circuits

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2010, J. Low Power Electron..

Exploring independent gates in FinFET-based transistor network generation

Felipe S. Marques, Leomar S. da Rosa, Renato P. Ribas, 2014, 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI).

Contributions to the evaluation of ensembles of combinational logic gates

Marcelo Lubaszewski, Renato P. Ribas, André Inácio Reis, 2011, Microelectron. J..

Transistor network restructuring against NBTI degradation

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2010, Microelectron. Reliab..

Constructive AIG optimization through functional composition

Renato P. Ribas, André Inácio Reis, Thiago Figueiro, 2011, ARCS Workshops.

Modeling and estimating leakage current in series-parallel CMOS networks

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2007, GLSVLSI '07.

Synthesis of threshold logic gates to nanoelectronics

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Area impact analysis of via-configurable regular fabric for digital integrated circuit design

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2011, SBCCI '11.

Enhanced Spin-Diode Synthesis Using Logic Sharing

Mayler G. A. Martins, Felipe S. Marranghello, Joseph S. Friedman, 2015, 2015 Euromicro Conference on Digital System Design.

SOP based logic synthesis for memristive IMPLY stateful logic

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2015, 2015 33rd IEEE International Conference on Computer Design (ICCD).

BTI and HCI first-order aging estimation for early use in standard cell technology mapping

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2013, Microelectron. Reliab..

Efficient method to compute minimum decision chains of Boolean functions

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2011, GLSVLSI '11.

Exact Multi-Level Benchmark Circuit Generation for Logic Synthesis Evaluation

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2018, 2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI).

Four-Level Forms for Memristive Material Implication Logic

Felipe S. Marranghello, Renato P. Ribas, Vinicius Callegaro, 2019, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

MCML gate design for standard cell library

Renato P. Ribas, Eric E. Fabris, Cicero Nunes, 2015, 2015 28th Symposium on Integrated Circuits and Systems Design (SBCCI).

A methodology to evaluate the aging impact on flip-flops performance

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Boolean factoring with multi-objective goals

Mayler G. A. Martins, Leomar S. da Rosa, Renato P. Ribas, 2010, 2010 IEEE International Conference on Computer Design.

A Test Environment for Validation of Subthreshold and Leakage Current Estimation Method in CMOS Logic Gates

Paulo F. Butzen, Renato P. Ribas, Andre I. Reis, 2011 .

Methodology for achieving best trade-off of area and fault masking coverage in ATMR

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2014, 2014 15th Latin American Test Workshop - LATW.

Delay model for static CMOS complex gates

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

KL-cut based digital circuit remapping

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2012, NORCHIP 2012.

Threshold logic synthesis based on cut pruning

Alan Mishchenko, Renato P. Ribas, André Inácio Reis, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Impact and optimization of lithography-aware regular layout in digital circuit design

Paulo F. Butzen, Felipe S. Marranghello, Renato P. Ribas, 2011, 2011 IEEE 29th International Conference on Computer Design (ICCD).

Automatic circuit generation for sequential logic debug

Paulo F. Butzen, Renato P. Ribas, Helder H. Avelar, 2015, 2015 IEEE International Conference on Electronics, Circuits, and Systems (ICECS).

Equivalent Circuit for NBTI Evaluation in CMOS Logic Gates

Renato P. Ribas, Andre I. Reis, Nivea Schuch, 2009 .

Comparing Transistor-Level Implementations of 4-Input Logic Functions

Renato P. Ribas, André Inácio Reis, Felipe Ribeiro Schneider, 2002, IWLS.

DAG based library-free technology mapping

Sachin S. Sapatnekar, Felipe S. Marques, Leomar S. da Rosa, 2007, GLSVLSI '07.

CMOS inverter delay model based on DC transfer curve for slow input

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2013, International Symposium on Quality Electronic Design (ISQED).

Efficient test circuit to qualify logic cells

Marcelo Lubaszewski, Renato P. Ribas, André Inácio Reis, 2009, 2009 IEEE International Symposium on Circuits and Systems.

Graph-Based Transistor Network Generation Method for Supergate Design

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2016, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Improvements on the detection of false paths by using unateness and satisfiability

Felipe S. Marques, Renato P. Ribas, André Inácio Reis, 2010, SBCCI '10.

Speed-Up of ASICs Derived from FPGAs by Transistor Network Synthesis Including Reordering

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2008, 9th International Symposium on Quality Electronic Design (isqed 2008).

Design of CMOS logic gates with enhanced robustness against aging degradation

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2012, Microelectron. Reliab..

Majority-based logic synthesis for nanometric technologies

Mayler G. A. Martins, Felipe S. Marranghello, Renato P. Ribas, 2014, 14th IEEE International Conference on Nanotechnology.

Thermal and mechanical evaluation of micromachined planar spiral inductors

Renato P. Ribas, Bernard Courtois, Jean Louis Leclercq, 2001, Symposium on Design, Test, Integration, and Packaging of MEMS/MOEMS.

maj- $n$ Logic Synthesis for Emerging Technology

Felipe S. Marranghello, Renato P. Ribas, Andre I. Reis, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Performance and functional test of flip-flops using ring oscillator structure

André Ivanov, Renato P. Ribas, André Inácio Reis, 2011, 2011 IEEE 6th International Design and Test Workshop (IDT).

Exact Benchmark Circuits for Logic Synthesis

Felipe S. Marranghello, Renato P. Ribas, Pierre-Emmanuel Gaillardon, 2020, IEEE Design & Test.

Power consumption analysis in static CMOS gates

Renato P. Ribas, André Inácio Reis, Kim A. Escobar, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Fast buffer delay estimation considering time-dependent dielectric breakdown

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2015, 2015 IEEE International Symposium on Circuits and Systems (ISCAS).

Fast disjoint transistor networks from BDDs

Sachin S. Sapatnekar, Felipe S. Marques, Leomar S. da Rosa, 2006, SBCCI '06.

Efficient transistor-level design of CMOS gates

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2013, GLSVLSI '13.

CMOS inverter analytical delay model considering all operating regions

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2014, 2014 IEEE International Symposium on Circuits and Systems (ISCAS).

Gate delay variability estimation method for parametric yield improvement in nanometer CMOS technology

Renato P. Ribas, André Inácio Reis, Digeorgia N. da Silva, 2010, Microelectron. Reliab..

On-silicon validation of a benchmark generation methodology for effectively evaluating combinational cell library design

Renato P. Ribas, Eric E. Fabris, M. De Carvalho, 2016, 2016 17th Latin-American Test Symposium (LATS).

III–V micromachined devices for microsystems

Renato P. Ribas, J. M. Karam, Pierre Viktorovitch, 1998 .

Binary adder circuit design using emerging MIGFET devices

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2017, 2017 18th International Symposium on Quality Electronic Design (ISQED).

Performance evaluation of optimized transistor networks built using independent-gate FinFET

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2016, 2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS).

CMOS logic gate performance variability related to transistor network arrangements

Renato P. Ribas, André Inácio Reis, Digeorgia N. da Silva, 2009, Microelectron. Reliab..

Logic synthesis for manufacturability considering regularity and lithography printability

Renato P. Ribas, André Inácio Reis, Sergio Gómez, 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

A comparative study of CMOS gates with minimum transistor stacks

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2007, SBCCI '07.

Improving the methodology to build non-series-parallel transistor arrangements

Felipe S. Marques, Leomar S. da Rosa, Renato P. Ribas, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

A Benchmark Suite to Jointly Consider Logic Synthesis and Physical Design

Renato P. Ribas, André Inácio Reis, Jody Maick Matos, 2015, ISPD.

Asynchronous circuit design on reconfigurable devices

Renato P. Ribas, André Inácio Reis, R. U. R. Mocho, 2006, SBCCI '06.

Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009

Ivan Saraiva Silva, Renato P. Ribas, Calvin Plett, 2009, SBCCI.

SYNAPTIC Project: Regularity Applied to Enhance Manufacturability and Yield at Several Abstraction Levels

Davide Pandini, Fabrizio Ferrandi, Renato P. Ribas, 2011, ARCS Workshops.

Functional composition: A new paradigm for performing logic synthesis

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2012, Thirteenth International Symposium on Quality Electronic Design (ISQED).

Unlocking Fine-Grain Parallelism for AIG Rewriting

Keshav Pingali, Alan Mishchenko, Renato P. Ribas, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Analytical logical effort formulation for minimum active area under delay constraints

Renato P. Ribas, André Inácio Reis, Vinícius Dal Bem, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Ring oscillators for functional and delay test of latches and flip-flops

André Ivanov, Renato P. Ribas, André Inácio Reis, 2011, SBCCI '11.

Switch level optimization of digital CMOS gate networks

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2009, 2009 10th International Symposium on Quality Electronic Design.

Standby power consumption estimation by interacting leakage current mechanisms in nanoscaled CMOS digital circuits

Paulo F. Butzen, Leomar S. da Rosa, Renato P. Ribas, 2010, Microelectron. J..

Transistor sizing in lithography-aware regular fabrics

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2011, SBCCI '11.

Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis

Mayler G. A. Martins, Felipe S. Marranghello, Renato P. Ribas, 2015, 2015 33rd IEEE International Conference on Computer Design (ICCD).

A constructive approach for threshold logic circuit synthesis

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2014, 2014 IEEE International Symposium on Circuits and Systems (ISCAS).

CAD Tool for Switch Network Profiling

Renato P. Ribas, Vinicius Callegaro, Andre I. Reis, 2011 .

Improved logic synthesis for memristive stateful logic using multi-memristor implication

Mayler G. A. Martins, Felipe S. Marranghello, Renato P. Ribas, 2015, 2015 IEEE International Symposium on Circuits and Systems (ISCAS).

Read-polarity-once Boolean functions

Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Unified theory to build cell-level transistor networks from BDDs [logic synthesis]

Renato P. Ribas, André Inácio Reis, Felipe Ribeiro Schneider, 2003, 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings..

Tool integration using the web-services approach

Renato P. Ribas, André Inácio Reis, Maria Lúcia Blanck Lisbôa, 2005, GLSVLSI '05.

The Impact of CMOS Logic Gate Topologies on Performance Variability

Renato P. Ribas, Andre I. Reis, Digeorgia N. da Silva, 2009 .

Parallel prefix adder design using quantum-dot cellular automata

Renato P. Ribas, Kim A. Escobar, 2013, 2013 26th Symposium on Integrated Circuits and Systems Design (SBCCI).

Exact lower bound for the number of switches in series to implement a combinational logic cell

Sachin S. Sapatnekar, Renato P. Ribas, André Inácio Reis, 2005, 2005 International Conference on Computer Design.

Subthreshold Leakage Modeling and Estimation of General CMOS Complex Gates

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2007, PATMOS.

KARMA: A Didactic Tool for Two-Level Logic Synthesis

Renato P. Ribas, André Inácio Reis, Carlos Eduardo Klock, 2007, 2007 IEEE International Conference on Microelectronic Systems Education (MSE'07).

Providing technology infrastructure for MEMS

Renato P. Ribas, Bernard Courtois, D. Veychard, 1999, Design, Test, Integration, and Packaging of MEMS/MOEMS.

Enhanced 32-bit carry look-ahead adder using multiple output enable-disable CMOS differential logic

Renato P. Ribas, André Inácio Reis, Mário C. B. Osorio, 2004, Proceedings. SBCCI 2004. 17th Symposium on Integrated Circuits and Systems Design (IEEE Cat. No.04TH8784).

Evaluation ofDual-Rail CMOS LogicStyles forSelf-Timed Circuits

Renato P. Ribas, Giovani H. Sartori, 2006 .

Design-oriented delay model for CMOS inverter

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2012, 2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI).

SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASIC

Felipe S. Marranghello, Renato P. Ribas, André Inácio Reis, 2017, IEEE Transactions on Emerging Topics in Computing.

NSP kernel finder - A methodology to find and to build non-series-parallel transistor arrangements

Felipe S. Marques, Leomar S. da Rosa, Renato P. Ribas, 2012, 2012 25th Symposium on Integrated Circuits and Systems Design (SBCCI).

A new approach to the use of satisfiability in false path detection

Sachin S. Sapatnekar, Felipe S. Marques, Renato P. Ribas, 2005, GLSVLSI '05.

Effective Logic Synthesis for Threshold Logic Circuit Design

Alan Mishchenko, Renato P. Ribas, Jody Maick Matos, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Exploring factored forms for sequential implication logic synthesis

Mayler G. A. Martins, Felipe S. Marranghello, Renato P. Ribas, 2014, 14th IEEE International Conference on Nanotechnology.

Self-checking test circuits for latches and flip-flops

André Ivanov, Renato P. Ribas, André Inácio Reis, 2011, 2011 IEEE 17th International On-Line Testing Symposium.

KL-Cuts: A new approach for logic synthesis targeting multiple output blocks

Felipe S. Marques, Renato P. Ribas, André Inácio Reis, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

SwitchCraft: a framework for transistor network design

Leomar S. da Rosa, Renato P. Ribas, André Inácio Reis, 2010, SBCCI '10.

Simple and accurate method for fast static currentestimation in cmos complex gates with interaction ofleakage mechanisms

Paulo F. Butzen, Leomar S. da Rosa, Renato P. Ribas, 2008, GLSVLSI '08.

Modeling Subthreshold Leakage Current in General Transistor Networks

Paulo F. Butzen, Renato P. Ribas, André Inácio Reis, 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).

A Simple and Effective Heuristic Method for Threshold Logic Identification

Mayler G. A. Martins, Renato P. Ribas, Vinicius Callegaro, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Semi-custom NCL Design with Commercial EDA Frameworks: Is it Possible?

Mayler G. A. Martins, Matheus T. Moreira, Renato P. Ribas, 2014, 2014 20th IEEE International Symposium on Asynchronous Circuits and Systems.

Improving Analytical Delay Modeling for CMOS Inverters

Felipe S. Marranghello, Renato P. Ribas, André I. Reis, 2015 .

Circuit Design for Testing Standard Cell Libraries

André Ivanov, Marcelo Lubaszewski, Renato P. Ribas, 2011 .

BDDs and transistor networks with minimum pull-up / pull-down chains

Felipe S. Marques, Renato P. Ribas, Leomar S. da Rosa Junior, 2006 .

Bulk micromachining characterization of 0.2 μm HEMT MMIC technology for GaAs MEMS design

Bernard Courtois, Renato P. Ribas, J. M. Karam, 1998 .