Formal verification of clock domain crossing using gate-level models of metastable flip-flops.

Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev

Browse the full DATE paper archive.