Heuristic logic resynthesis algorithms at the core of peephole optimization

SY Lee, G De Micheli - … on Computer-Aided Design of Integrated …, 2023 - ieeexplore.ieee.org
Logic resynthesis is one of the core problems in modern peephole logic optimization
algorithms. Given a target function and a set of existing functions, logic resynthesis asks for a …

Boolean rewriting strikes back: Reconvergence-driven windowing meets resynthesis

H Riener, SY Lee, A Mishchenko… - 2022 27th Asia and …, 2022 - ieeexplore.ieee.org
The paper presents a novel DAG-aware Boolean rewriting algorithm for restructuring
combinational logic before technology map**. The algorithm, called window rewriting …

Technology Legalization and Optimization for Adiabatic Quantum-Flux Parametron

SY Lee, AT Calvino, H Riener… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Adiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting
technology. Before physical design can be performed, AQFP technology map** involves …

External don't cares in logic synthesis

SY Lee, H Riener, G De Micheli - … from the 15th International Workshop on …, 2023 - Springer
Don't-care conditions are flexibilities in logic networks that can be used to optimize networks
by re-expressing incompletely specified Boolean functions. Don't cares may arise from the …

[PDF][PDF] Experimental comparison of logic circuit synthesis methods

MD Vershkov, AA Yagzhov, NS Romanov… - Proceedings of the …, 2024 - syrcose.ispras.ru
This paper presents the results of an experimental comparison of methods for the synthesis
of combinational logic circuits that implement specified Boolean functions. The comparison …

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

SY Lee - 2024 - infoscience.epfl.ch
Electronic devices play an irreplaceable role in our lives. With the tightening time to market,
exploding demand for computing power, and continuous desire for smaller, faster, less …

Экспериментальное сравнение методов синтеза логических схем

МД Вершков, АА Ягжов… - Труды Института …, 2024 - ispranproceedings.elpub.ru
Аннотация В работе описаны результаты экспериментального сравнения методов
синтеза комбинационных логических схем, реализующих заданные булевы функции …