Publications de Cunxi Yu | EPFL Graph Search

Developing Synthesis Flows without Human Knowledge

2018

Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

The paper presents a novel method to verify and debug gate-level arithmetic circuits implemented in Galois Field arithmetic. The method is based on forward reduction of the specification polynomials of the circuit in GF(2(m)) using GF(2) models of its logi ...

IEEE2018

End-to-End Industrial Study of Retiming

Giovanni De Micheli, Cunxi Yu, Maciej Jerzy Ciesielski

Sequential circuits are combinational circuits that are separated by registers. Retiming is considered as the most promising technique for optimizing sequential circuits, that involves moving the edge-triggered registers across the combinational logic with ...

IEEE2018

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

Giovanni De Micheli, Francesca Stradolini, Heinz Riener, Cunxi Yu

Medical cyber-physical systems are a new trend of software controlled physical systems that are increasingly common in medical domains. With rapid developments in medical science and computer technology, safety verification and simulation becomes more chal ...

IEEE2018