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.

Smart thermostats are increasingly popular in homes and buildings as they improve occupant comfort, lower energy use in heating and cooling systems, and reduce utility bills by automatically adjusting room temperature according to measurements of their bui ...

Today, the design of electronic systems is largely automated. The practice of using software automation technologies for the design of electronic hardware is commonly referred to as Electronic Design Automation (EDA). EDA comprises a large set of tools, fr ...

Logic synthesis is an important part of electronic design automation (EDA) flows, which enable the implementation of digital systems. As the design size and complexity increase, the data structures and algorithms for logic synthesis must adapt and improve ...

the last years, increasing interest has been addressed on wearable devices for the continuous monitoring of biochemical profiles of patients and athletes. Among various markers, lactate represents one of the most interesting to deepen the knowledge on fati ...

Proportional-type algorithms have attracted much attention because of their fast convergence ability for sparse system identification. To overcome the drawbacks of existing block proportional methods stemming from inadequate block partitioning, this articl ...

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

Field Programmable Gate Arrays (FPGAs) have been indispensable components of embedded systems and datacenter infrastructures. However, energy efficiency of FPGAs has become a hard barrier preventing their expansion to more application contexts, due to two ...

The two-dimensional (2D) delamination growth in composite laminates under the Mode-II fracture condition was experimentally investigated using a novel set-up. Circular plate specimens with a centrally embedded pre-crack of two sizes were semi-clamped along ...

Limestone calcined clays are a promising technology as they offer similar performance to OPC from 7 days onwards, while enabling a reduction of the clinker content of 50%. In some regions of the world like South America, pozzolanic cements (i.e., blended c ...

Solid-state resistive switches have recently enabled low-power, scalable, non-volatile memories. Their proven intrinsic logic operation, allowing design of in-memory computing systems, attracted the attention of the research community. A Programmable Logic ...

Given (i) a Boolean function, (ii) a set of arrival times at the inputs, and (iii) a gate library with associated delay values, the exact delay synthesis problem asks for a circuit implementation which minimizes the arrival time at the output(s). The exact ...

Embryo implantation into the uterus marks a key transition in mammalian development. In mice, implantation is mediated by the trophoblast and is accompanied by a morphological transition from the blastocyst to the egg cylinder. However, the roles of tropho ...

Superoxide radicals (O-2(center dot-)) have been suggested as an important chain carrier in the radical chain reaction that promotes ozone (O-3) decomposition to hydroxyl radicals ((OH)-O-center dot) during ozonation. However, due to the difficulty in meas ...

In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) and inversion (INV) functions as basic operations. We represent logic functions by Majority-Inverter Graph (MIG): a directed acyclic graph c ...

We present design, fabrication and experimental characterization of a multichannel Smart Slit Assembly for next generation spectrometers, based on an array of 40 variable optical attenuators employing MEMS shutters integrated with large core multimode rect ...

Realization of logic and storage operations in memristive circuits have opened up a promising research direction of in-memory computing. Elementary digital circuits, e.g., Boolean arithmetic circuits, can be economically realized within memristive circuits ...

Recent advances in Model Predictive Control (MPC) algorithms and methodologies, combined with the surge of computational power of available embedded platforms, allows the use of real-time optimization-based control of fast mechatronic systems. This paper p ...

The strong interaction between Electronic Design Automation (EDA) tools and Complementary Metal-Oxide Semiconductor (CMOS) technology contributed substantially to the advancement of modern digital electronics. The continuous downscaling of CMOS Field Effec ...

As acknowledged explicitly or implicitly in most of current design codes, a high level of sustained loading has a detrimental effect on the concrete compressive strength. However, its beneficial effect in terms of deformation capacity is neglected in most ...

Nowadays, Field Programmable Gate Arrays (FPGA) exploit Look-Up Tables (LUTs) to generate logic functions. A K-input LUT can implement any Boolean functions with K inputs. Thanks to this flexibility, LUTs remained concep ...

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

Chat with Graph Search

Efficacy of temporal and spatial abstraction for training accurate machine learning models: A case study in smart thermostats

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Exploiting Satisfiability Solvers for Efficient Logic Synthesis

Amperometric Measurements by a Novel Aerosol Jet Printed Flexible Sensor for Wearable Applications

Design of a Tap-Amplitude-Based Block Proportional Adaptive Filtering Algorithm

Classifying Functions with Exact Synthesis

Circuit Design, Architecture and CAD for RRAM-based FPGAs

Experimental investigation of two-dimensional Mode-II delamination in composite laminates

Going Below 50% Clinker Factor in Limestone Calcined Clay Cements (LC3): A Comparison with Pozzolanic Cements from the South American Market

A Compiler for Parallel and Resource-Constrained Programmable in-Memory Computing

Enabling exact delay synthesis

Embryo-uterine interaction coordinates mouse embryogenesis during implantation

Evaluation of the role of superoxide radical as chain carrier for the formation of hydroxyl radical during ozonation

Majority-Inverter Graph: A New Paradigm for Logic Optimization

Multichannel Smart Slit Assembly For Spectroscopy Based On Arrays Of Variable Optical Mems Attenuators

The Programmable Logic-in-Memory (PLiM) Computer (Invited)

Optimal Thrust Vector Control of an Electric Small-Scale Rocket Prototype

New Data Structures and Algorithms for Logic Synthesis and Verification

Influence of sustained loading on resistance and deformation capacity of reinforced concrete members in compression

Towards More Efficient Logic Blocks by Exploiting Biconditional Expansion