Synthesis of Quasi Delay Insensitive Monitors - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Synthesis of Quasi Delay Insensitive Monitors

Résumé

This paper presents a method to synthesize hardware functional asynchronous monitors from a formal representation. It is essential to get correct information and avoid erroneous messages from these monitors that check properties on synchronous designs. Asynchronous Quasi-Delay Insensitive (QDI) designs are very robust to the environment variations; they remain functional in a wide range of power supplies or temperatures. Uniqueness of the claimed approach lies on the use of QDI technology to construct the monitors leading them to be more robust than synchronous monitors in safety critical environment.

Mots clés

Fichier non déposé

Dates et versions

hal-00646662 , version 1 (30-11-2011)

Identifiants

Citer

A. Porcher, Katell Morin-Allory, Laurent Fesquet. Synthesis of Quasi Delay Insensitive Monitors. 7th Conference on PhD Research in Microelectronics and Electronics (PRIME'11), Jul 2011, Madonna Di Campiglio (Trento), Italy. pp.225 - 228, ⟨10.1109/PRIME.2011.5966274⟩. ⟨hal-00646662⟩

Collections

UGA CNRS TIMA
71 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More