Publications associées à On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Publications associées (59)

Scalable Logic Rewriting Using Don’t Cares

Giovanni De Micheli, Alessandro Tempia Calvino

Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...

2024

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

Siang-Yun Lee

Electronic devices play an irreplaceable role in our lives. With the tightening time to market, exploding demand for computing power, and continuous desire for smaller, faster, less energy-consuming, and lower-cost chips, computer-aided design for electron ...

EPFL2024

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Giovanni De Micheli, Heinz Riener, Akash Kumar

Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...

IEEE2021

Soliton Generation in a Gallium Phosphide Photonic-Crystal Fabry-Perot Microresonator

Tobias Kippenberg, Johann Emmeram Riemensberger, Miles Henry Anderson, Nikolai Kuznetsov, Alisa Davydova, Alberto Nardi

Ring resonators have proven to be extremely successful for generation of temporal dissipative Kerr solitons, but their dispersion engineering is limited. We present a photonic-crystal Fabry-Perot resonator with record-high quality factors in gallium phosph ...

IEEE2023

Dynamic Hydrogel Design For Spatiotemporal Control Of Morphogenesis

Matthias Lütolf, Nicolas Antoine Vincent Broguiere, Antonius Chrisnandy

MARY ANN LIEBERT, INC2023

LUT-Based Optimization For ASIC Design Flow

Giovanni De Micheli, Eleonora Testa, Luca Gaetano Amarù

In this paper, we develop a new LUT-based optimization flow tailored for the synthesis of ASICs rather than FPGAs. We enhance LUT-mapping to consider the literal/AIG cost of LUT-nodes. We extend traditional Boolean methods to simplify and re-shape LUT-netw ...

2021

Improving First-Order Threshold Implementations of SKINNY

Subhadeep Banik, Andrea Felice Caforio, Daniel Patrick Collins, Ognjen Glamocanin

Threshold Implementations have become a popular generic technique to construct circuits resilient against power analysis attacks.In this paper, we look to devise efficient threshold circuits for the lightweight block cipher family SKINNY. The only threshol ...

Springer2021

Current Status of PRP Manufacturing Requirements & European Regulatory Frameworks: Practical Tools for the Appropriate Implementation of PRP Therapies in Musculoskeletal Regenerative Medicine

Philippe Abdel Sayed

Providing accurate and up-to-date practical tools enabling oversight of platelet-rich plasma (PRP) legislation and of the appropriate standards to be implemented for its manufacture and use in Europe is a demanding task. This is due to rapid medico-technol ...

MDPI2023

Expansion Work Recovery of Hydrogen for a FC-Truck-Tentative Design of an Expansion Machine

Alfred Rufer

Hydrogen powered vehicles use high-pressure reservoirs from which the gas is transferred to the low-pressure fuel-cell via a classical pressure reduction valve. In these systems no expansion work is recovered and the question is addressed of the potential ...

MDPI2023

Low-Latency High-Bandwidth Circuit and System Design for Trigger Systems in High Energy Physics

Marcos Vinícius Silva Oliveira

The increasing luminosity in HEP (High Energy Physics) colliders demands trigger systems to be more selective. First, more information from the detector is routed to the trigger system. Second, larger parts of this information are processed together. These ...

EPFL2021

Single-Band Raman Shift Detection for Spectroscopy-Less Optical Biosensors

Sandro Carrara, Ata Jedari Golparvar

The application of Raman scattering in biosensing diverges significantly from its previous usage in qualitative analysis, eliminating the necessity for spectroscopy in certain cases. Here, we push the frontiers of optical biosensing by integrating a custom ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Random flip-flop: adding quantum randomness to digital circuits for improved cyber security, artificial intelligence and more

Edoardo Charbon, Claudio Bruschini, Ivan Michel Antolovic

Harnessing quantum randomness for the generation of random numbers is an important concept crucial for information security and many other computer-related applications. Quantum random number generators (QRNGs) are evolving from bulky, slow, and expensive ...

SPIE2021

Influence of Different Sterilization Methods on the Surface Chemistry and Electrochemical Behavior of Biomedical Alloys

Stefano Mischler, Brigitte Jolles-Haeberli, Anna Neus Igual Muñoz

Sterilization is a prerequisite for biomedical devices before contacting the human body. It guarantees the lack of infection by eliminating microorganisms (i.e., bacteria, spores and fungi). It constitutes the last fabrication process of a biomedical devic ...

2023

Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

Logic resynthesis is the problem of finding a dependency function to re-express a given Boolean function in terms of a given set of divisor functions. In this paper, we study logic resynthesis of majority-based circuits, which is motivated by the increasin ...

IEEE2021

Experimental investigations of a new highly ductile hold-down with adaptive stiffness for timber seismic bracing walls

Pierino Lestuzzi

An efficient implementation of the capacity design requires high ductility combined with a low overstrength of the critical regions. Conventional timber connections do not generally offer such ideal combination, resulting in modest behaviour and relatively ...

SPRINGER2023

Three-Input Gates for Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Heinz Riener, Eleonora Testa, Dewmini Sudara Marakkalage

Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Sub-kHz-Linewidth External-Cavity Laser (ECL) With Si3N4 Resonator Used as a Tunable Pump for a Kerr Frequency Comb

Tobias Kippenberg, Junqiu Liu

Combining optical gain in direct-bandgap III-V materials with tunable optical feedback offered by advanced photonic integrated circuits is key to chip-scale external-cavity lasers (ECL), offering wideband tunability along with low optical linewidths. Exter ...

IEEE Institute of Electrical and Electronics Engineers2023

Extending Boolean Methods for Scalable Logic Synthesis

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

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

A Virtual Simulation-Pilot Agent for Training of Air Traffic Controllers

Petr Motlicek, Juan Pablo Zuluaga Gomez

In this paper we propose a novel virtual simulation-pilot engine for speeding up air traffic controller (ATCo) training by integrating different state-of-the-art artificial intelligence (AI)-based tools. The virtual simulation-pilot engine receives spoken ...

MDPI2023

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Eleonora Testa

Logic synthesis is a key component of digital design and modern EDA tools; it is thus an essential instrument for the design of leading-edge chips and to push the limits of their performance. In the last decades, the electronic circuits community has evolv ...

EPFL2020