Boolean Rewriting Strikes Back: Reconvergence- Driven Windowing meets Resynthesis

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (28)

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken

SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new typ ...

IEEE2018

Dynamical Behavior and Stability Analysis of Hydromechanical Gates

Paolo Perona, Fabian Alexander Bernhard

This study revisits the stability of hydromechanical gates for upstream water surface regulation, also known as AMIL gates. AMIL gates are used in irrigation canals, where they are often installed in series. From the regulation perspective, instabilities a ...

American Society of Civil Engineers2017

RM3 based logic synthesis

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

In-memory computing devices, such as resistive RAMs, natively implement material implication or a variant of the majority-of-three operation called RM3. This operation generalizes material implication and has been used as target operation in sev ...

IEEE2017

Negative Capacitance Field Effect Transistors; Capacitance Matching and non-Hysteretic Operation

Christian Enz, Igor Stolichnov, Mihai Adrian Ionescu, Farzan Jazaeri, Ali Saeidi, Francesco Bellando

This work experimentally demonstrates negative capacitance MOSFETs in hysteretic and non-hysteretic modes of operation. A PZT capacitor is externally connected to the gate of commercial nMOSFETs fabricated in 28nm CMOS technology to explore the negative ca ...

IEEE2017

Computationally Efficient Multiple-Independent-Gate Device Model

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Gianluca Piccinini, Mariagrazia Graziano

Nanowire Field Effect Transistors (FETs) with multiple independent gates around a silicon channel feature ultimate gate control and are regarded as promising candidates for next generation transistors. Being inherently more complex than conventional gate-a ...

Institute of Electrical and Electronics Engineers2016

LUT Mapping and Optimization for Majority-Inverter Graphs

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Winston Jason Haaswijk, Mathias Soeken

A Majority-Inverter Graph (MIG) is a directed acyclic graph in which every vertex represents a three-input majority operation and edges may be complemented to indicate operand inversion. MIGs have algebraic and Boolean properties that enable efficie ...

2016

Majority-Inverter Graph: A New Paradigm for Logic Optimization

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon

In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV) functions as basic operations. We represent logic functions by Majority-Inverter Graph (MIG): a directed acyclic graph c ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Boolean logic optimization in majority-inverter graphs

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon

We present a Boolean logic optimization framework based on Majority-Inverter Graph (MIG). An MIG is a directed acyclic graph consisting of three-input majority nodes and regular/complemented edges. Current MIG optimization is supported by a consistent alge ...

2016

Page 2 sur 2