Publications related to Karnaugh map

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk

Due to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As oppos ...

IEEE2017

Inversion optimization in majority-inverter graphs

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

Many emerging nanotechnologies realize majority gates as primitive building blocks and they benefit from a majority-based synthesis. Recently, Majority-Inverter Graphs (MIGs) have been introduced to abstract these new technologies. We present optimi ...

Ieee2016

Assessment of Confinement-Induced Band-to-Band Tunneling Leakage in the FinEHBTFET

Mihai Adrian Ionescu, Cem Alper, José Luis Padilla de la Torre

In conventional planar EHBTFETs, the interband tunneling phenomena responsible for the drive current takes place vertically in the section of the channel where top and bottom gates overlap. As a result, the horizontal extent of this overlapping between gat ...

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

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Serge Vaudenay

Threshold implementations allow to implement circuits us- ing secret sharing in a way to thwart side-channel attacks based on prob- ing or power analysis. It was proven they resist to attacks based on glitches as well. In this report, we show the limitatio ...

Springer Int Publishing Ag2016

Approximate BDD Optimization with Prioritized epsilon-Preferred Evolutionary Algorithm

Mathias Soeken

Approximate computing has gained high attention in various applications that can benefit from a reduction in costs by lowering the accuracy. In this paper we present an optimization approach for functional approximation of Binary Decision Diagrams (BDDs) w ...

Assoc Computing Machinery2016

Majority logic synthesis

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

A method for optimizing an implementation of a logic circuit, comprising steps of providing an interpretation of the logic circuit in terms of 3 Boolean variable majority operators M, with each of the majority operators being a function of a plurality of v ...

2015

Computational Design of Strain in Core-Shell Nanoparticles for Optimizing Catalytic Activity

William Curtin, Philip Arthur Moseley

Surface strains in core–shell nanoparticles modify catalytic activity. Here, a continuum-based strategy enables accurate surface-strain-based screening and design of core–shell systems using minimal input as a means to enhance catalytic activity. The appro ...

American Chemical Society2015

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Karnaugh map

Classifying Functions with Exact Synthesis

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Inversion optimization in majority-inverter graphs

Assessment of Confinement-Induced Band-to-Band Tunneling Leakage in the FinEHBTFET

Heuristic NPN classification for large functions using AIGs and LEXSAT

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

BDD Minimization for Approximate Computing

Approximate BDD Optimization with Prioritized epsilon-Preferred Evolutionary Algorithm

Majority logic synthesis

Computational Design of Strain in Core-Shell Nanoparticles for Optimizing Catalytic Activity

Graph Chatbot

Chat with Graph Search

Classifying Functions with Exact Synthesis

Majority logic synthesis

Inversion optimization in majority-inverter graphs

Assessment of Confinement-Induced Band-to-Band Tunneling Leakage in the FinEHBTFET

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Heuristic NPN classification for large functions using AIGs and LEXSAT

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Approximate BDD Optimization with Prioritized epsilon-Preferred Evolutionary Algorithm

Computational Design of Strain in Core-Shell Nanoparticles for Optimizing Catalytic Activity

BDD Minimization for Approximate Computing