A functional specification and validation model for networks on chip in the ACL2 logic

International audience

From Hardware Processes to asynchronous circuits via petri nets: An Application to Arbiter Design

International audience

Asynchronus design for improved EMC behavior of ICs

International audience

An 8x8 thermopile based uncooled infrared sensor

International audience

Dynamically balanced and plausible trajectory planning for human-like characters

International audience

Optimisation of digitally coded test vectors for mixed-signal components

International audience

Early analysis of fault-attack effects for cryptographic hardware

International audience

Definition of Model-based diagnosis problems with Altarica

International audience

Utilisation d'une méthode de correction de retards pour la vérification d'un assemblage de fonctions RTL par rapport à un assemblage de fonctions au niveau fonctionnel

National audience

A Methodology for estimating energy consumption of QDI asynchronous circuits

International audience

A full identification system for a tactile fingerprint sensor

International audience

Comparison of High Q microresonators operating on a thin plate mode : the Lamé-mode

International audience

Improving DPA and DFA resistance of circuits using asynchronous logic

International audience

Quasi delay insensitive asynchronous circuits for low EMI

International audience

An algorithm for the inclusion of RC compact models of packages into board level thermal simulation tools

International audience