On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

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.

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. ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Chat with Graph Search

Scalable Logic Rewriting Using Don’t Cares

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

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

Dynamic Hydrogel Design For Spatiotemporal Control Of Morphogenesis

LUT-Based Optimization For ASIC Design Flow

Improving First-Order Threshold Implementations of SKINNY

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

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

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

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

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

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

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

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

Three-Input Gates for Logic Synthesis

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

Extending Boolean Methods for Scalable Logic Synthesis

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

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies