Concept
Combinational logic
Related publications (61)
Algebraic and Boolean Methods for SFQ Superconducting Circuits
Giovanni De Micheli, Alessandro Tempia Calvino
Rapid single-flux quantum (RSFQ) is one of the most advanced and promising superconducting logic families, offering exceptional energy efficiency and speed. RSFQ technology requires delay registers (DFFs) and splitter cells to satisfy the path-balancing an ...
2024On algebraic array theories
Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...
New York2023Technology Mapping Using Multi-output Library Cells
Giovanni De Micheli, Alessandro Tempia Calvino
Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...
2023Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits
Giovanni De Micheli, Eleonora Testa, Heinz Riener, Siang-Yun Lee
Adiabatic quantum-flux-parametron (AQFP) circuits are a family of superconducting electronic (SCE) circuits that have recently gained growing interest due to their low-energy consumption, and may serve as alternative technology to overcome the down-scalin ...
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies
Giovanni De Micheli, Heinz Riener, Shubham Rai, Akash Kumar
Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...
2021