Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Lucas Machado

dblp:76/7995 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
0since 2021 · last 2020
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 2 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › logic synthesis
boolean function decomposition
0.412020
Support-Reducing Decomposition for FPGA Mapping · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020
Electronic design automation › logic synthesis › technology mapping
FPGA technology mapping
0.412020
Support-Reducing Decomposition for FPGA Mapping · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020
Electronic design automation
logic synthesis
0.412020
Support-Reducing Decomposition for FPGA Mapping · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020
Electronic design automation › logic synthesis › technology mapping › FPGA technology mapping
lookup table mapping
0.412020
Support-Reducing Decomposition for FPGA Mapping · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2020

Methods — techniques the papers use, named apart from their topics

support-based cost function · 0.4remapping · 0.4
YearPublicationVenuePosition
2020 Support-Reducing Decomposition for FPGA Mapping
abstract
Decomposition is a technology-independent process, in which a large complex function is broken into smaller, less complex functions. The costs of two-level or factored-form representations (cubes and literals) are used in most decomposition methods, as they have a high correlation with the area of cell-based designs. However, this correlation is weaker for field-programmable gate arrays (FPGAs) based on look-up tables. Furthermore, local optimizations have limited power due to the structural bias of the circuit descriptions. This paper tries to reduce the structural biasing by remapping the look-up table network and decomposing the derived functions using the support as cost function. The proposed method improves the FPGA mapping results of a commercial tool for the 20 largest MCNC benchmarks, with gains of 28% in delay plus 18% in area when targeting delay, and a reduction of 28% in area plus 14% in delay with area as cost function. Results with 23% less area and 6% less delay are obtained after physical synthesis (post place-and-route). Moreover, 12 of the best known results for delay (and 3 for area) of the EPFL benchmarks are improved.
Lucas Machado, Jordi Cortadella
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2019 Fair Team Recommendations for Multidisciplinary Projects
abstract
The focus of this work is on the problem of team recommendations, in which teams have multidisciplinary requirements and team members’ selection is based on the match of their skills and the requirements. When assembling multiple teams there is also a challenge of allocating the best members in a fair way between the teams. We formally define the problem and propose a brute force and a faster heuristic method as solutions to create team recommendations to multidisciplinary projects. Furthermore, to increase the fairness between the recommended teams, the K-rounds and Pairs-rounds methods are proposed as variations of the heuristic approach. Several different test scenarios are executed to analyze and compare the effectiveness of these methods.
Lucas Machado, Kostas Stefanidis
WI1
2017 Boolean Decomposition for AIG Optimization
abstract
Restructuring techniques for And-Inverter Graphs (AIG), such as rewriting and refactoring, are powerful, scalable and fast, achieving highly optimized AIGs after few iterations. However, these techniques are biased by the original AIG structure and limited by single output optimizations. This paper investigates AIG optimization for area, exploring how far Boolean methods can reduce AIG nodes through local optimization.Boolean division is applied for multi-output functions using two-literal divisors and Boolean decomposition is introduced as a method for AIG optimization. Multi-output blocks are extracted from the AIG and optimized, achieving a further AIG node reduction of 7.76% on average for ITC99 and MCNC benchmarks.
Lucas Machado, Jordi Cortadella
ACM Great Lakes Symposium on VLSI1