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.

Compacted scaly clays are complex geomaterials widely used for the realization of dam cores and waste dump liners. This research aims to investigate the swelling/shrinkage behavior of these geomaterials subjected in an oedometric cell to complex hydromecha ...

Coreless electric motors are gaining interest from the community as they have a larger power-to-weight ratio and a larger efficiency. The absence of iron slots leaves the winding space unobstructed. This enables the geometry of the coils to be skewed to ov ...

Three-dimensional (3-D) or vertical integration is a design and packaging paradigm that can mitigate many of the increasing challenges related to the design of modern integrated systems. 3-D circuits have recently been at the spotlight, since these circuit ...

Halide perovskite solar cells (PSCs) have achieved power conversion efficiencies (PCEs) approaching 26%, however, the stability issue hinders their commercialization. Due to the soft ionic nature of perovskite materials, the strain effect on perovskite fil ...

In this paper, we present an FPGA synthesis flow based on Majority-Inverter Graph (MIG). An MIG is a directed acyclic graph consisting of three-input majority nodes and regular/complemented edges. MIG manipulation is supported by a consistent alge ...

In ride-sharing, commuters with similar itineraries share a vehicle for their trip. Despite its clear benefits in terms of reduced congestion, ride-sharing is not yet widely accepted. We propose a specific ride-sharing variant, where drivers are completely ...

Inexact Circuits are circuits in which the accuracy of the output can be traded for cost savings (energy, area and/or delay). In the context of advanced technology scaling and power density increase, inexact circuits appear to be very promising as ...

In the era of "big data" finding solutions for data storage alternative to those based on silicon or magnetic tapes is an urgent need for our society. The development of polymers that can store information at the molecular level has opened up new opportuni ...

New logic blocks capable of replacing the use of Look-Up Tables (LUTs) in integrated circuits, such as Field-Programmable Gate Arrays (FPGAs), are disclosed herein. In one embodiment, the new logic block is a tree structure comprised of a number of levels ...

The objective of meta-learning is to exploit knowledge obtained from observed tasks to improve adaptation to unseen tasks. Meta-learners are able to generalize better when they are trained with a larger number of observed tasks and with a larger amount of ...

Lookup table-based FPGAs offer flexibility but compromise on performance, as compared to custom CMOS implementations. This paper explores the idea of minimising this performance gap by using fixed, fine-grained, non-programmable logic structures in place o ...

Copper-silver (Cu-Ag) core-shell nanoparticles are promising for replacing the silver particles and flakes used in printed conductors in current solar cells since they deliver good conductivity, chemical stability, and optical performance, while also reduc ...

We present a novel class of decision diagrams, called Biconditional Binary Decision Diagrams (BBDDs), that enable efficient logic synthesis for XOR-rich functions. BBDDs are binary decision diagrams where the Shannon’s expansion is replaced by the bicondit ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

Coronavirus (COVID-19), a deadly pandemic has spread worldwide and created many global health issues. Though methods of its detection are being continuously developed for the early detection and monitoring of COVID-19, still there is need for more novel me ...

Despite many advantages of Field-Programmable Gate Arrays (FPGAs), they fail to take over the IC design market from Application-Specific Integrated Circuits (ASICs) for high-volume and even medium-volume applications, as FPGAs come with significant cost in ...

The concept of a multi-source inverter (MSI) based on NPC topology was recently introduced for hybrid-electric powertrains to connect several dc sources to the traction load in a single conversion stage without magnetics. This work proposes a new modulatio ...

Edge-based and face-based smoothed finite element methods (ES-FEM and FS-FEM, respectively) are modified versions of the finite element method allowing to achieve more accurate results and to reduce sensitivity to mesh distortion, at least for linear eleme ...

The efficient synthesis of circuits is a well-studied problem. Due to the NP-hardness of the problem, no optimal algorithm has been presented so far. However, the heuristics presented by several researchers in the past, which are also adopted by commercial ...

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

Chat with Graph Search

Role of Stress History on the Swelling-Shrinkage Behavior of Compacted Scaly Clay

2.5D Topology Optimization to Design Overlapping Winding in Multi-Phase Coreless Electrical Machine

Signaling in 3-D integrated circuits, benefits and challenges

Strain effects on halide perovskite solar cells

Majority-Inverter Graph for FPGA Synthesis

Ride-sharing with inflexible drivers in the Paris metropolitan area

A Fast Pruning Technique for Low-Power Inexact Circuit Design

Bacterial nanopores open the future of data storage

Non-LUT field-programmable gate arrays

Dif-MAML: Decentralized Multi-Agent Meta-Learning

A Case for Heterogeneous Technology-Mapping: Soft versus Hard Multiplexers

Screen-Printable Cu-Ag Core-Shell Nanoparticle Paste for Reduced Silver Usage in Solar Cells: Particle Design, Paste Formulation, and Process Optimization

Biconditional BDD: A Novel Canonical BDD for Logic Synthesis targeting XOR-rich Functions

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Electrochemical sensors for the detection of SARS-CoV-2 virus

Closing the Gap between FPGA and ASIC : Balancing Flexibility and Efficiency

Multiobjective Vector Modulation for Improved Control of NPC-Based Multi-Source Inverters in Hybrid Traction Systems

An element-based formulation for ES-FEM and FS-FEM models for implementation in standard solid mechanics finite element codes for 2D and 3D static analysis

Pre-Synthesis Optimization of Arithmetic Circuits