Name
Papers
Collaborators
RENATO P. RIBAS
77
95
Citations 
PageRank 
Referers 
204
33.52
475
Referees 
References 
1017
621
Search Limit
1001000
Title
Citations
PageRank
Year
A Two-Level Approximate Logic Synthesis Combining Cube Insertion and Removal.00.342022
maj- $n$ Logic Synthesis for Emerging Technology10.372020
Parallel Combinational Equivalence Checking10.352020
Exact Benchmark Circuits for Logic Synthesis10.352020
Effective Logic Synthesis for Threshold Logic Circuit Design10.372019
Four-Level Forms for Memristive Material Implication Logic10.372019
Unlocking Fine-Grain Parallelism for AIG Rewriting00.342018
A Simple and Effective Heuristic Method for Threshold Logic Identification.10.372018
SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASIC.00.342017
Transistor Count Optimization in IG FinFET Network Design.00.342017
Graph-Based Transistor Network Generation Method for Supergate Design50.492016
Threshold Logic Synthesis Based on Cut Pruning60.502015
Automatic circuit generation for sequential logic debug00.342015
Factored Forms for Memristive Material Implication Stateful Logic30.452015
SOP based logic synthesis for memristive IMPLY stateful logic40.432015
A Benchmark Suite to Jointly Consider Logic Synthesis and Physical Design30.442015
Open Cell Library in 15nm FreePDK Technology.411.702015
MCML Gate Design for Standard Cell Library00.342015
Enhanced Spin-Diode Synthesis Using Logic Sharing00.342015
Bottom-Up Disjoint-Support Decomposition Based On Cofactor And Boolean Difference Analysis00.342015
Improved logic synthesis for memristive stateful logic using multi-memristor implication10.372015
Fast buffer delay estimation considering time-dependent dielectric breakdown00.342015
Deriving reduced transistor count circuits from AIGs10.372014
Semi-custom NCL Design with Commercial EDA Frameworks: Is it Possible?80.542014
Exploring Independent Gates in FinFET-Based Transistor Network Generation00.342014
A constructive approach for threshold logic circuit synthesis00.342014
Methodology for achieving best trade-off of area and fault masking coverage in ATMR30.462014
BTI, HCI and TDDB aging impact in flip-flops.110.782013
BTI and HCI first-order aging estimation for early use in standard cell technology mapping.10.382013
A methodology to evaluate the aging impact on flip-flops performance.20.472013
Power consumption analysis in static CMOS gates30.392013
Synthesis of threshold logic gates to nanoelectronics30.472013
Spin diode network synthesis using functional composition.10.382013
Iterative remapping respecting timing constraints00.342013
CMOS inverter delay model based on DC transfer curve for slow input.00.342013
Logic synthesis for manufacturability considering regularity and lithography printability00.342013
Read-polarity-once Boolean functions10.362013
Improving the methodology to build non-series-parallel transistor arrangements20.412013
Analytical logical effort formulation for minimum active area under delay constraints.00.342013
Parallel prefix adder design using quantum-dot cellular automata.00.342013
Delay model for static CMOS complex gates.00.342013
KL-cut based digital circuit remapping40.432012
Design-oriented delay model for CMOS inverter10.372012
NSP kernel finder - A methodology to find and to build non-series-parallel transistor arrangements.20.412012
Functional composition: A new paradigm for performing logic synthesis.60.632012
Lithography analysis of via-configurable transistor-array fabrics.10.352012
Design of CMOS logic gates with enhanced robustness against aging degradation.80.592012
Transistor Sizing Analysis of Regular Fabrics.00.342011
Impact and optimization of lithography-aware regular layout in digital circuit design70.662011
Constructive AIG optimization considering input weights20.412011
  • 1
  • 2