Concept

Logic optimization

Publications associées (121)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

Martin Kurt Storath

We investigate the nonsmooth and nonconvex

L ^{ 1 }

-Potts functional in discrete and continuous time. We show Γ-convergence of discrete

L ^{ 1 }

-Potts functionals toward their continuous counterpart and obtain a convergence statement for the corr ...

SIAM2015

Logic optimization

Graph Chatbot

Chattez avec Graph Search

Approximate BDD Optimization with Prioritized epsilon-Preferred Evolutionary Algorithm

Emerging Technology Based Design of Primitives for Hardware Security

Heuristic NPN classification for large functions using AIGs and LEXSAT

Boolean Logic Optimization in Majority-Inverter Graphs

Majority logic synthesis

New Logic Synthesis As Nanotechnology Enabler (invited paper)

NEM Relay Design with Biconditional Binary Decision Diagrams

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

A Fast Pruning Technique for Low-Power Inexact Circuit Design

New Data Structures and Algorithms for Logic Synthesis and Verification

Approximate BDD Optimization with Prioritized epsilon-Preferred Evolutionary Algorithm

New Data Structures and Algorithms for Logic Synthesis and Verification

Majority logic synthesis

New Logic Synthesis As Nanotechnology Enabler (invited paper)

Boolean Logic Optimization in Majority-Inverter Graphs

Emerging Technology Based Design of Primitives for Hardware Security

Heuristic NPN classification for large functions using AIGs and LEXSAT

The $ L ^{ 1 } $ -Potts Functional for Robust Jump-Sparse Reconstruction

NEM Relay Design with Biconditional Binary Decision Diagrams

A Fast Pruning Technique for Low-Power Inexact Circuit Design