Synthesis of Quasi Delay Insensitive monitors

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.