Asynchronous Assertion Monitors for multi-Clock Domain System Verification. - Morin-Allory, Katell; Fesquet, Laurent; Borrione, Dominique (2006)