Publications associées à Espresso heuristic logic minimizer

Method for speeding up boolean satisfiability

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

A method for transforming a tautology check of an original logic circuit into a contradiction check of the original logic circuit and vice versa comprises interpreting the original logic circuit in terms of AND, OR, MAJ, MIN, XOR, XNOR, INV original logic ...

2016

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 Gamma-convergence of discrete L-1-Potts functionals toward their continuous counterpart and obtain a convergence statement for the corresponding minimi ...

Siam Publications2015

New Logic Synthesis As Nanotechnology Enabler (invited paper)

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

Nanoelectronics comprises a variety of devices whose electrical properties are more complex as compared to CMOS, thus enabling new computational paradigms. The potentially large space for innovation has to be explored in the search for technologies that ca ...

Ieee-Inst Electrical Electronics Engineers Inc2015

A 6.7 MHz nanoelectromechanical ring oscillator using curved cantilever switches coated with amorphous carbon

Montserrat Fernandez-Bolanos Badia, Antonios Bazigos, Daniel Grogg

Nanoelectromechanical (NEM) switches have the potential to complement or replace traditional CMOS transistors in the area of ultra-low power digital electronics. This paper reports the demonstration of the first ring oscillator built using cell-level digit ...

IEEE2014

A 6.7 MHz Nanoelectromechanical Ring Oscillator Using Curved Cantilever Switches Coated with Amorphous Carbon

Montserrat Fernandez-Bolanos Badia, Antonios Bazigos, Daniel Grogg

IEEE2014

Nanoelectromechanical digital logic circuits using curved cantilever switches with amorphous-carbon-coated contacts

Montserrat Fernandez-Bolanos Badia, Antonios Bazigos, Daniel Grogg

Nanoelectromechanical (NEM) switches have the potential to complement or replace traditional CMOS transistors in the area of ultra-low-power digital electronics. This paper reports the demonstration of prototype circuits including the first 3-stage ring os ...

2014

MoS2 Transistors Operating at Gigahertz Frequencies

Andras Kis, Yusuf Leblebici, Clemens Benedict Nyffeler, Dominik Sebastian Lembke, Daria Krasnozhon

The presence of a direct band gap1-4 and an ultrathin form factor5 has caused a considerable interest in two-dimensional (2D) semiconductors from the transition metal dichalcogenides (TMD) family with molybdenum disulfide (MoS2) being the most studied repr ...

Amer Chemical Soc2014

Analysis of Coupled Scalar Systems by Displacement Convexity

Rüdiger Urbanke, Nicolas Macris, Rafah El-Khatib

Potential functionals have been introduced recently as an important tool for the analysis of coupled scalar systems (e.g. density evolution equations). In this contribution we investigate interesting properties of this potential. Using the tool of displace ...

Ieee2014

Vertically Stacked Double Gate Nanowires FETs with Controllable Polarity: From Devices to Regular ASICs

Giovanni De Micheli, Davide Sacchetto, Yusuf Leblebici, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Shashi Kanth Bobba, Michele De Marchi

Vertically stacked nanowire FETs (NWFETs) with gate-all-around structure are the natural and most advanced extension of FinFETs. At advanced technology nodes, many devices exhibit ambipolar behavior, i.e., the device shows n- and p-type characteristics sim ...

2013

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.

Espresso heuristic logic minimizer

Method for speeding up boolean satisfiability

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

The L-1-Potts Functional For Robust Jump-Sparse Reconstruction

New Logic Synthesis As Nanotechnology Enabler (invited paper)

A 6.7 MHz nanoelectromechanical ring oscillator using curved cantilever switches coated with amorphous carbon

A 6.7 MHz Nanoelectromechanical Ring Oscillator Using Curved Cantilever Switches Coated with Amorphous Carbon

Nanoelectromechanical digital logic circuits using curved cantilever switches with amorphous-carbon-coated contacts

MoS2 Transistors Operating at Gigahertz Frequencies

Analysis of Coupled Scalar Systems by Displacement Convexity

Vertically Stacked Double Gate Nanowires FETs with Controllable Polarity: From Devices to Regular ASICs

Graph Chatbot

Chattez avec Graph Search

Method for speeding up boolean satisfiability

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

The L-1-Potts Functional For Robust Jump-Sparse Reconstruction

New Logic Synthesis As Nanotechnology Enabler (invited paper)

MoS2 Transistors Operating at Gigahertz Frequencies

Analysis of Coupled Scalar Systems by Displacement Convexity

Vertically Stacked Double Gate Nanowires FETs with Controllable Polarity: From Devices to Regular ASICs

A 6.7 MHz nanoelectromechanical ring oscillator using curved cantilever switches coated with amorphous carbon

A 6.7 MHz Nanoelectromechanical Ring Oscillator Using Curved Cantilever Switches Coated with Amorphous Carbon

Nanoelectromechanical digital logic circuits using curved cantilever switches with amorphous-carbon-coated contacts