[AASB12]
Zaid Al-bayati, O. Ait Mohamed, Yvon Savaria and Mounir Boukadoum.
Probabilistic model checking of clock domain crossing interfaces.
In Proc. IEEE 10th International New Circuits and Systems Conference (NEWCAS'12).
2012.
[Uses PRISM to verify clock domain crossing (CDC) protocols.]
|
