Publications related to Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

Related publications (51)

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

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

EPFL2025

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

Algebraic and Boolean Methods for SFQ Superconducting Circuits

Giovanni De Micheli, Alessandro Tempia Calvino

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

2024

Graph generative deep learning models with an application to circuit topologies

Igor Krawczuk

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

EPFL2024

Synthesis of SFQ Circuits with Compound Gates

Giovanni De Micheli, Alessandro Tempia Calvino, Rassul Bairamkulov

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

IEEE2023

Improving Standard-Cell Design Flow using Factored Form Optimization

Giovanni De Micheli, Alessandro Tempia Calvino

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

IEEE2023

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

Luis Guillermo Villanueva Torrijo, Soumya Yandrapalli

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

Institute of Electrical and Electronics Engineers2023

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

Ognjen Glamocanin

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

EPFL2023

The multivariate Serre conjecture ring

Luc Guyot

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

Academic Press Inc Elsevier Science2023

Output regulation via trajectory tracking for chemical reactors with jacket dynamics

Dominique Bonvin

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

PERGAMON-ELSEVIER SCIENCE LTD2023

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

Farzan Jazaeri

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

PERGAMON-ELSEVIER SCIENCE LTD2023

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

Mohammad Samizadeh Nikooytabalvandani

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

EPFL2023

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

Alexandre Schmid, Keyvan Farhang Razi

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

IEEE2023

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

Carlotta Gastaldi

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

EPFL2022

Boolean Rewriting Strikes Back: Reconvergence- Driven Windowing meets Resynthesis

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

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

IEEE2022

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

Lyesse Laloui, Alessandro Francesco Rotta Loria, Elena Ravera

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

ELSEVIER2023

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

Basile Marie Jacques Pouradier Duteil

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

MDPI2023

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

James Daniel Rosenthal

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

IEEE2022

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

Christophe Moser, Damien Claude-Marie Loterie, Paul Delrot, Jorge Andres Madrid Wolff, Antoine Vincent Boniface

MARY ANN LIEBERT, INC2023

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

Christian Enz

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

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022