| 2025 |
Livro |
Divirta-se com 21 jogos lógicos no mesmo tabuleiro: Volume 1
Renato Perez RIBAS
—
ISBN 9786561440547
|
PS
Discrete Mathematics and Combinatorics
|
| 2024 |
Trabalho em evento |
Extending Multilevel ALS to Design ATMRs
Ammes GABRIEL; Manske Guilherme B; Butzen Paulo F; Reis André I; Renato Perez RIBAS
2024 IEEE 15th Latin America Symposium on Circuits and Systems (LASCAS)
DOI 10.1109/lascas60203.2024.10506169
ISBN 9798350381221
|
PS
Electrical and Electronic Engineering
|
| 2024 |
Artigo em periódico |
A Survey of Approximate Triple Modular Redundancy
Ammes GABRIEL; Butzen Paulo FRANCISCO; André Inácio REIS; Renato Perez RIBAS
JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS)
DOI 10.29292/jics.v19i3.970
ISSN 1872-0234
|
PS
Electrical and Electronic Engineering
|
| 2023 |
Trabalho em evento |
Evaluation of Digital Circuit Design by Combining Two - and Multi-Level Approximate Logic Synthesis
Ammes GABRIEL; Butzen Paulo F; Reis André I; Renato Perez RIBAS
2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
DOI 10.1109/isvlsi59464.2023.10238642
ISBN 9798350327694
|
PS
Hardware and Architecture
|
| 2023 |
Trabalho em evento |
ATMR design by construction based on two-level ALS
Ammes GABRIEL; Manske Guilherme B; Butzen Paulo F; Reis André I; Renato Perez RIBAS
2023 36th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI)
DOI 10.1109/sbcci60457.2023.10261973
ISBN 9798350318340
|
PS
Hardware and Architecture
|
| 2022 |
Artigo em periódico |
A Two-Level Approximate Logic Synthesis Combining Cube Insertion and Removal
Ammes GABRIEL; Neto Walter LAU; Butzen PAULO; Gaillardon Pierre EMMANUEL; Renato Perez RIBAS
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
DOI 10.1109/tcad.2022.3143489
ISSN 0278-0070
|
PS
Computer Graphics and Computer-Aided Design
|
| 2022 |
Artigo em periódico |
Two-Level and Multilevel Approximate Logic Synthesis
Ammes GABRIEL; Butzen Paulo FRANCISCO; André Inácio REIS; Renato Perez RIBAS
JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS)
DOI 10.29292/jics.v17i3.661
ISSN 1872-0234
|
PS
Computer Science (miscellaneous)
|
| 2021 |
Artigo em periódico |
Logic Synthesis for Emerging Technologies
Neutzling AUGUSTO; Renato Perez RIBAS
JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS)
DOI 10.29292/jics.v16i1.484
ISSN 1872-0234
|
PS
Computer Science Applications
|
| 2020 |
Livro |
21 jogos abstratos e de estratégia no mesmo tabuleiro
Renato Perez RIBAS
—
ISBN 6586623170
|
PS
Mathematics (miscellaneous)
|
| 2019 |
Artigo em periódico |
Maj-n Logic Synthesis for Emerging Technology
Neutzling AUGUSTO; Marranghello Felipe S; Matos Jody MAICK; Reis ANDRE; Renato Perez RIBAS
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
DOI 10.1109/tcad.2019.2897704
ISSN 0278-0070
|
PS
Computational Theory and Mathematics
|
| 2019 |
Artigo em periódico |
Four-Level Forms for Memristive Material Implication Logic
Marranghello Felipe S; Callegaro VINICIUS; Reis Andre I; Renato Perez RIBAS
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
DOI 10.1109/tvlsi.2019.2890843
ISSN 1063-8210
|
PS
Hardware and Architecture
|
| 2019 |
Artigo em periódico |
Parallel Combinational Equivalence Checking
Possani Vinicius N; Mishchenko ALAN; Renato Perez RIBAS; Reis Andre I
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
DOI 10.1109/tcad.2019.2946254
ISSN 0278-0070
|
PS
Computer Graphics and Computer-Aided Design
|
| 2019 |
Artigo em periódico |
Exact Benchmark Circuits for Logic Synthesis
Neto Walter LAU; Possani Vinicius N; Marranghello Felipe S; Matos Jody M; Gaillardon Pierre EMMANUEL et al
IEEE Design & Test
DOI 10.1109/mdat.2019.2952348
ISSN 2168-2356
|
PS
Computational Theory and Mathematics
|
| 2018 |
Trabalho em evento |
Unlocking fine-grain parallelism for AIG rewriting
Possani VINICIUS; Lu Yi SHAN; Mishchenko ALAN; Pingali KESHAV; Renato Perez RIBAS et al
the International Conference
DOI 10.1145/3240765.3240861
ISBN 9781450359504
|
PS
Artificial Intelligence
|
| 2018 |
Trabalho em evento |
Exact Multi-Level Benchmark Circuit Generation for Logic Synthesis Evaluation
Neto Walter L; Possani Vinicius N; Marranghello Felipe S; Matos Jody M; Reis Andre I et al
2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI)
DOI 10.1109/sbcci.2018.8533248
ISBN 9781538674314
|
PS
Hardware and Architecture
|
| 2018 |
Trabalho em evento |
Exact Multi-Level Logic Benchmark Generation
Walter Lau NETO; Felipe S MARRANGHELLO; Vinicius N POSSANI; Andre Inacio REIS; Renato Perez RIBAS
International Workshop on Logic and Synthesis (IWLS)
|
PS
Logic
|
| 2018 |
Trabalho em evento |
Parallel AIG Rewriting
Vinicius N POSSANI; Y LU; Alan MISHCHENKO; K PINGALI; Renato Perez RIBAS et al
International Workshop on Logic & Synthesis (IWLS)
|
PS
Theoretical Computer Science
|
| 2018 |
Trabalho em evento |
Jogos Lógicos de Tabuleiro como Instrumento Pedagógico de Socialização e Emancipação
Renato Perez RIBAS; Viviane Dulis De LIMA; Aline Guterres FERREIRA; Nilseia Lapresa RIBAS
Congresso Brasileiro de Extensão Universitária
|
SH
Education
|
| 2018 |
Artigo em periódico |
Effective Logic Synthesis for Threshold Logic Circuit Design
Neutzling AUGUSTO; Matos Jody MAICK; Mishchenko ALAN; Reis ANDRE; Renato Perez RIBAS
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
DOI 10.1109/tcad.2018.2834434
ISSN 0278-0070
|
PS
Computer Graphics and Computer-Aided Design
|
| 2017 |
Trabalho em evento |
Binary adder circuit design using emerging MIGFET devices
Baqueta Jeferson J; Marranghello Felipe S; Possani Vinicius N; Neutzling AUGUSTO; Reis Andre I et al
2017 18th International Symposium on Quality Electronic Design (ISQED)
DOI 10.1109/isqed.2017.7918304
ISBN 9781509054046
|
PS
Electrical and Electronic Engineering
|
| 2017 |
Artigo em periódico |
A Simple and Effective Heuristic Method for Threshold Logic Identification
Neutzling AUGUSTO; Martins Mayler G A; Callegaro VINICIUS; Reis Andri I; Renato Perez RIBAS
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
DOI 10.1109/tcad.2017.2729403
ISSN 0278-0070
|
PS
Computer Science Applications
|
| 2017 |
Artigo em periódico |
SAT-Based Formulation for Logical Capacity Evaluation of VIA-Configurable Structured ASIC
Dal Bem VINICIUS; Marranghello FELIPE; Reis ANDRE; Renato Perez RIBAS
IEEE Transactions on Emerging Topics in Computing
DOI 10.1109/tetc.2016.2644381
ISSN 2168-6750
|
PS
Computer Science Applications
|
| 2017 |
Artigo em periódico |
Formação de Professores nos Jogos Lógicos de Tabuleiro
Liliane Ferrari GIORDANI; Renato Perez RIBAS
EXPRESSA EXTENSÃO
DOI 10.15210/ee.v21i2.7869
ISSN 2358-8195
|
SH
Education
|
| 2016 |
Trabalho em evento |
Performance evaluation of optimized transistor networks built using independent-gate FinFET
Valdes Andres M A; Possani VINICIUS; Marranghello Felipe S; Reis Andre I; Renato Perez RIBAS
2016 IEEE 7th Latin American Symposium on Circuits & Systems (LASCAS)
DOI 10.1109/lascas.2016.7451051
ISBN 9781467378352
|
PS
Electrical and Electronic Engineering
|
| 2016 |
Trabalho em evento |
On-silicon validation of a benchmark generation methodology for effectively evaluating combinational cell library design
De Carvalho M; Maurício ALTIERI; Lauro PURICELLI; Paulo BUTZEN; Renato Perez RIBAS et al
2016 17th LatinAmerican Test Symposium (LATS)
DOI 10.1109/latw.2016.7483353
ISBN 9781509013319
|
PS
Industrial and Manufacturing Engineering
|