Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

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.

Quantum computing is expected to complement classical von-Neumann architectures in solving problems beyond the reach of conventional digital machines. This new model of computation leverages the rich complexity of many-body quantum systems to perform compu ...

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

Rapid single-flux quantum (RSFQ) is one of the most advanced and promising superconducting logic families, offering exceptional energy efficiency and speed. RSFQ technology requires delay registers (DFFs) and splitter cells to satisfy the path-balancing an ...

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison. Managing their complexity and facilitating their design drove part of the co-evolution of mode ...

Rapid single-flux quantum (RSFQ) is one of the most advanced superconducting technologies with the potential to supplement or replace conventional VLSI systems. However, scaling RSFQ systems up to VLSI complexity is challenging due to fundamental differenc ...

Factored form is a powerful multi-level representation of a Boolean function that readily translates into an implementation of the function in CMOS technology. In particular, the number of literals in a factored form correlates strongly with the number of ...

This work presents the study of suspended Y-cut Lithium Niobate shear bulk acoustic resonators for wide band filter applications in the frequency range of 3.5-4.5GHz. The resonators consist of a Lithium Niobate film with Aluminum top interdigitated electro ...

The pervasive adoption of field-programmable gate arrays (FPGAs) in both cyber-physical systems and the cloud has raised many security issues. Being integrated circuits, FPGAs are susceptible to fault and power side-channel attacks, which require physical ...

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

This work deals with a control strategy to regulate homogeneous reaction systems in reactors equipped with a cooling jacket. The reaction system is expressed in terms of vessel extents and viewed as a single-input (the inlet coolant temperature), two-outpu ...

In this work, we propose an analytical model for the intrinsic transcapacitances in ultra-thin gate-all-around junctionless nanowire field effect transistors in the presence of confined energy states of electrons. The validity of the developed model is con ...

There is a never-ending push for electronic systems to provide faster operation speeds, higher energy efficiencies, and higher power capabilities at smaller scales. These requirements are apparent in different areas of electronics, from radiofrequency (RF) ...

A programmable patient-customized epileptic seizure detector is proposed in this paper to enable neurologists and patients to have constructive interactions with the implantable medical device. The programmability feature is enabled by designing a low-powe ...

Ferroelectric materials are explored for numerous applications thanks to their properties associated with electrically switchable spontaneous polarization. Perovskites are an established class of ferroelectrics used for sensors and actuators. However, they ...

The paper presents a novel DAG-aware Boolean rewriting algorithm for restructuring combinational logic before technology mapping. The algorithm, called window rewriting, repeatedly selects small parts of the logic and replaces them with more compact implem ...

Over the past two decades, the thermo-hydro-mechanical behavior of earth-contact structures such as piles, walls, slabs, and tunnels, which simultaneously provide structural support and energy supply, has been studied through various field experiments and ...

Stable and uniform beams with low divergence are required in particle accelerators; therefore, beyond the accelerated current, measuring the beam current spatial uniformity and stability over time is necessary to assess the beam performance, since these pa ...

We present an all-digital application specific integrated circuit (ASIC) that implements Bluetooth Low Energy (BLE)-compatible backscatter communication. The ASIC was fabricated in a 65 nm CMOS process and occupies an active area of 0.12 mm(2) while consum ...

This article investigates the fin- and finger-number dependence of the total ionizing dose (TID) degradation in 16-nm bulk Si FinFETs at ultrahigh doses. n- and p-FinFETs designed with different numbers of fins and fingers are irradiated up to 500 Mrad(SiO ...

Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

Chat with Graph Search

Electron Spin Qubit Architectures on Fully Depleted Silicon-On-Insulator Substrates for Scalable Quantum Computing

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

Algebraic and Boolean Methods for SFQ Superconducting Circuits

Graph generative deep learning models with an application to circuit topologies

Synthesis of SFQ Circuits with Compound Gates

Improving Standard-Cell Design Flow using Factored Form Optimization

Toward Band n78 Shear Bulk Acoustic Resonators Using Crystalline Y-Cut Lithium Niobate Films With Spurious Suppression

Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAs

The multivariate Serre conjecture ring

Output regulation via trajectory tracking for chemical reactors with jacket dynamics

Transcapacitances Modeling in ultra-thin gate-all-around junctionless nanowire FETs, including 2D quantum confinement

New ultrahigh-speed device concepts: from THz nanoplasma devices to glass-like electronics for neuromorphic computation

Programmable Seizure Detector Using a 32-bit RISC Processor for Implantable Medical Devices

Exploring negative capacitance and neuromorphic devices based on CMOS-compatible ferroelectric HfO2

Boolean Rewriting Strikes Back: Reconvergence- Driven Windowing meets Resynthesis

Thermo-hydro-mechanical behavior of energy barrettes: Field experiments and numerical simulations

Design and Development of a Diagnostic System for a Non-Intercepting Direct Measure of the SPIDER Ion Source Beamlet Current

An All-Digital 1 Mbps, 57 pJ/bit Bluetooth Low Energy (BLE) Backscatter ASIC in 65 nm CMOS

High Resolution Light-Based 3D Printing Of Cell-Laden Bio Constructs

Influence of Fin and Finger Number on TID Degradation of 16-nm Bulk FinFETs Irradiated to Ultrahigh Doses