Publications associées à Design rule checking

Highly Parallel RTL Simulation

Verification and testing of hardware heavily relies on cycle-accurate simulation of RTL. As single-processor performance is growing only slowly, conventional, single-threaded RTL simulation is becoming impractical for increasingly complex chip designs and ...

EPFL2024

Automating the Design of Programmable Interconnect for Reconfigurable Architectures

Stefan Nikolic

With Moore's law coming to an end, increasingly more hope is being put in specialized hardware implemented on reconfigurable architectures such as Field-Programmable Gate Arrays (FPGAs). Yet, it is often neglected that these architectures themselves experi ...

EPFL2023

Design and management of three-dimensional multi-processor systems-on-chip with integrated flow cell arrays

Halima Najibi

Three-Dimensional Multi-Processor Systems-on-Chip (3D MPSoCs) are promising solutions for highly intensive Artificial Intelligence (AI) and Big Data applications. They combine remarkably dense computation capabilities and massive communication bandwidths. ...

EPFL2022

Nanowatt Acoustic Inference Sensing Exploiting Nonlinear Analog Feature Extraction

Christian Enz, Minhao Yang, Jun Zhang

Ultralow-power sensing with inference functionality embedded in sensor nodes is essential for enabling the emerging pervasive intelligence. For acoustic inference sensing, the feature extraction can take advantage of power-efficient analog circuits. Howeve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Design-to-Fabrication Workflow for Raw-Sawn-Timber using Joinery Solver

Petras Vestartas

Currently, the Swiss timber industry in mountain areas largely exports unprocessed lumber and imports finished timber products due to the lack of digital tools. By using new digital design-to-production workflows, it is possible to investigate new building ...

EPFL2021

Data Structures and Algorithms for Logic Synthesis in Advanced Technologies

Eleonora Testa

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

EPFL2020

Soft, Implantable Bioelectronic Interfaces for Translational Research

Stéphanie Lacour, Grégoire Courtine, Giuseppe Schiavone, Jocelyne Bloch, Ismael Seanez Gonzalez, Sébastien Jiguet, Ivan Furfaro, Simon Borgognon, Evgenia Vladimirova Roussinova, Marco Capogrosso

The convergence of materials science, electronics, and biology, namely bioelectronic interfaces, leads novel and precise communication with biological tissue, particularly with the nervous system. However, the translation of lab‐based innovation toward cli ...

Wiley2020

Liquid electromigration in gallium-based biphasic thin films

Stéphanie Lacour, Hadrien Olivier Michaud

Liquid metals have recently gained interest as a material of choice for soft and stretchable electronic circuits, thanks to their virtually infinite mechanical failure strain and high electrical conductivity. Gallium-based thin films are obtained by deposi ...

2019

Ordering Events Based on Intentionality in Cyber-Physical Systems

Jean-Yves Le Boudec, Simon Bliudze, Wajeb Saab, Maaz Mashood Mohiuddin

We consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints tha ...

2018

Rethinking Secure FPGAs: Towards a Cryptography-friendly Configurable Cell Architecture and its Automated Design Flow

Edoardo Charbon, Francesco Regazzoni

This work proposes the first fine-grained configurable cell array specifically tailored for the implementation of cryptographic algorithms that can be configured using widely adopted hardware description languages. Our solution can be added as a small, cry ...

IEEE2018