Publications associées à Synthèse logique

Majority-Inverter Graph: A New Paradigm for Logic Optimization

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

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, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

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

Robust Hierarchically Structured Biphasic Ambipolar Oxide Photoelectrodes for Light-Driven Chemical Regulation and Switchable Logic Applications

Kevin Sivula, Nestor Guijarro Carratala, Florian Le Formal, Xavier Adrian Jeanbourquin, Mathieu Steven Prévot, Wiktor Stefan Bourée

Tunable ambipolar photoelectrochemical behavior emerges from microdomains of nanostructured p-type CuFeO2 and n-type Fe2O3 that arise from a single facile solution-processed thin fi lm. The switchable operation of this system is controlled by chemical, opt ...

Wiley-Blackwell2016

Generating Configurable Hardware from Parallel Patterns

Christos Kozyrakis

In recent years the computing landscape has seen an increasing shift towards specialized accelerators. Field programmable gate arrays (FPGAs) are particularly promising for the implementation of these accelerators, as they offer significant performance and ...

Assoc Computing Machinery2016

High-level synthesis of dynamic dataflow programs on heterogeneous MPSoC platforms

Marco Mattavelli, Simone Casale Brunet, Endri Bezati

The growing complexity of digital signal processing applications make a compelling case the use of high-level design and synthesis methodologies for the implementation on programmable logic devices and embedded processors. Past research has shown that, for ...

2016

Optimizing Majority-Inverter Graphs with Functional Hashing

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

A Majority-Inverter Graph (MIG) is a recently introduced logic representation form whose algebraic and Boolean properties allow for efficient logic optimization. In particular, when considering logic depth reduction, MIG algorithms obtained signific ...

IEEE2016

Heuristic NPN classification for large functions using AIGs and LEXSAT

Giovanni De Micheli, Paolo Ienne, Mathias Soeken, Ana Petkovska

Two Boolean functions are NPN equivalent if one can be ob- tained from the other by negating inputs, permuting inputs, or negating the output. NPN equivalence is an equivalence relation and the number of equivalence classes is significantly smaller than th ...

Springer Int Publishing Ag2016

A Sound and Complete Axiomatization of Majority-n Logic

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

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the B ...

Institute of Electrical and Electronics Engineers2016

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Synthèse logique

Majority-Inverter Graph: A New Paradigm for Logic Optimization

Boolean logic optimization in majority-inverter graphs

Robust Hierarchically Structured Biphasic Ambipolar Oxide Photoelectrodes for Light-Driven Chemical Regulation and Switchable Logic Applications

Generating Configurable Hardware from Parallel Patterns

High-level synthesis of dynamic dataflow programs on heterogeneous MPSoC platforms

Deductive Synthesis and Repair

Optimizing Majority-Inverter Graphs with Functional Hashing

Heuristic NPN classification for large functions using AIGs and LEXSAT

An Extension of Transformation-based Reversible and Quantum Circuit Synthesis

A Sound and Complete Axiomatization of Majority-n Logic

Graph Chatbot

Chattez avec Graph Search

Heuristic NPN classification for large functions using AIGs and LEXSAT

An Extension of Transformation-based Reversible and Quantum Circuit Synthesis

Boolean logic optimization in majority-inverter graphs

Robust Hierarchically Structured Biphasic Ambipolar Oxide Photoelectrodes for Light-Driven Chemical Regulation and Switchable Logic Applications

Generating Configurable Hardware from Parallel Patterns

High-level synthesis of dynamic dataflow programs on heterogeneous MPSoC platforms

Deductive Synthesis and Repair

Optimizing Majority-Inverter Graphs with Functional Hashing

A Sound and Complete Axiomatization of Majority-n Logic

Majority-Inverter Graph: A New Paradigm for Logic Optimization