Deep learning for logic optimization algorithms
W Haaswijk, E Collins, B Seguin… - … on Circuits and …, 2018 - ieeexplore.ieee.org
The slowing down of Moore's law and the emergence of new technologies puts an
increasing pressure on the field of EDA. There is a constant need to improve optimization …
increasing pressure on the field of EDA. There is a constant need to improve optimization …
On-the-fly and DAG-aware: Rewriting Boolean networks with exact synthesis
H Riener, W Haaswijk, A Mishchenko… - … , Automation & Test …, 2019 - ieeexplore.ieee.org
The paper presents a generalization of DAG-aware AIG rewriting for k-feasible Boolean
networks, whose nodes are k-input lookup tables (k-LUTs). We introduce a high-effort DAG …
networks, whose nodes are k-input lookup tables (k-LUTs). We introduce a high-effort DAG …
SAT-based exact synthesis: Encodings, topology families, and parallelism
W Haaswijk, M Soeken, A Mishchenko… - … on Computer-Aided …, 2019 - ieeexplore.ieee.org
Exact synthesis is a versatile logic synthesis technique with applications to logic
optimization, technology mapping, synthesis for emerging technologies, and cryptography …
optimization, technology mapping, synthesis for emerging technologies, and cryptography …
Machine learning for agile fpga design
Field-programmable gate arrays (FPGAs) have become popular means of hardware
acceleration since they offer massive parallelism, flexible configurability, and potentially …
acceleration since they offer massive parallelism, flexible configurability, and potentially …
Logic synthesis for established and emerging computing
Logic synthesis is an enabling technology to realize integrated computing systems, and it
entails solving computationally intractable problems through a plurality of heuristic …
entails solving computationally intractable problems through a plurality of heuristic …
SAT based exact synthesis using DAG topology families
W Haaswijk, A Mishchenko, M Soeken… - Proceedings of the 55th …, 2018 - dl.acm.org
SAT based exact synthesis is a powerful technique, with applications in logic optimization,
technology mapping, and synthesis for emerging technologies. However, its runtime …
technology mapping, and synthesis for emerging technologies. However, its runtime …
A catalog-based AIG-rewriting approach to the design of approximate components
As computational demand and energy efficiency of computer systems are becoming
increasingly relevant requirements, traditional design paradigms are bound to become no …
increasingly relevant requirements, traditional design paradigms are bound to become no …
Efficient design of majority-logic-based approximate arithmetic circuits
Approximate computing (AC) offers benefits by reducing the requirement for full accuracy,
thereby reducing power consumption and area. The majority logic (ML) gate functions as the …
thereby reducing power consumption and area. The majority logic (ML) gate functions as the …
A majority logic synthesis framework for adiabatic quantum-flux-parametron superconducting circuits
Adiabatic Quantum-Flux-Parametron (AQFP) logic is an adiabatic superconductor logic that
has been proposed as alternative to CMOS logic with extremely high energy efficiency. In …
has been proposed as alternative to CMOS logic with extremely high energy efficiency. In …
EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning
Logic synthesis tools synthesize circuit structures to optimize specific targets given
reasonable constraints and runtime using a set of well-defined operators. The efficiency of …
reasonable constraints and runtime using a set of well-defined operators. The efficiency of …