Publications related to 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, Nicolas Vachicouras, Florian Dylan Fallegger, Beatrice Barra, Xiaoyang Kang, Andreas Rowald

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

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

2017

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Juan Sebastian Rodriguez Estupinan

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

Lateral Torsional Buckling of steel bridge girders

Jean-Paul Lebet, Raphaël Thiébaud

The Lateral Torsional Buckling (L.T.B.) design of beams in buildings has received considerable attention over the last decades, and relatively similar improved design rules are now implemented in major design standards. On the contrary, it may be shown tha ...

Structural Stability Research Council2016

Enhancing Design Space Exploration by Extending CPU/GPU Specifications onto FPGAs

Andreas Peter Burg, Paolo Ienne, Georgios Karakonstantis, David Novo Bruna, Madhura Purnaprajna, Gabriel Falcao Paiva Fernandes, João Maria Duarte Andrade

The design cycle for complex special-purpose computing systems is extremely costly and time-consuming. It involves a multiparametric design space exploration for optimization, followed by design verification. Designers of special purpose VLSI implementatio ...

Assoc Computing Machinery2015

Development of scalable electronics for the TORCH time-of-flight detector

Christoph Frei

The TORCH detector is proposed for the low-momentum particle identification upgrade of the LHCb experiment. It combines Time-Of-Flight and Cherenkov techniques to achieve charged particle separation up to 10 GeV/c. This requires a time resolution of 70 ps ...

Iop Publishing Ltd2015

ICCAD 2015 Contest in 3D Interlayer Cooling Optimized Network

David Atienza Alonso, Arvind Raj Mahankali Sridhar

Microchannel liquid cooling has been proposed since the late 2000s as a viable enabler for 3D integration of microprocessors to continue scaling of computing power in the face of increasingly reduced returns from CMOS technology scaling. Thermal and electr ...

ACM/IEEE Press2015

Analytical Compact Model in Verilog-A for Electrostatically Actuated Ohmic Switches

Mihai Adrian Ionescu, Montserrat Fernandez-Bolanos Badia, Antonios Bazigos, Daniel Grogg, Yu Pu

Nowadays, electronics face a challenge regarding the power consumption of integrated circuits (ICs). There is a need for new devices that can provide improved switching capabilities. The downscaled electrostatically actuated ohmic switch, as a (re)emerging ...

Ieee-Inst Electrical Electronics Engineers Inc2014

Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

In this paper, we present biconditional binary deci- sion diagrams (BBDDs), a novel canonical representation form for Boolean functions. BBDDs are binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional ...

2014

Compressive Image Acquisition in Modern CMOS IC Design

Pierre Vandergheynst, Alexandre Schmid, Yusuf Leblebici, Mahdad Hosseini Kamal, Nikola Katic

Compressive Sampling (CS) offers bandwidth, power and memory size reduction compared to conventional (Nyquist) sampling. However, very few Integrated Circuit (IC) designs based on CS exist due to the missing link between the well-established CS theory on o ...

Wiley-Blackwell2013

Design Methodologies and CAD for Emerging Nanotechnologies

Shashi Kanth Bobba

With technology scaling reaching the fundamental limits of Si-CMOS in the near future, the semiconductor industry is in quest for innovation from various disciplines of integrated circuit (IC) design. At a fundamental level, technology forms the main drive ...

EPFL2013