< retour aux publications

Synthesis of Quasi Delay Insensitive Monitors

Auteur(s) : A. Porcher, K. Morin-Allory, L. Fesquet

Doc. Source: 7th Conference on PhD Research in Microelectronics and Electronics (PRIME’11)

Publisher : IEEE

Pages : 225 - 228

Doi : 10.1109/PRIME.2011.5966274

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.