Clock Domain Crossing Analyzer

Authors:Smrčka Aleš
Licence:required - no fee
+Type Name Title Size Last modified
iconcdcreveal-1.0.tar.gz56,5 KB2010-02-08 11:45:06
^ Select all
With selected:
Keywords:CDC, synchronization analysis, CDC verification
A tool for extending SMV based models of hardware designs of component controlled with multiple clocks. Conventional technique of hardware design formal verification is based on modelling zero-delay changes of signal value. Unfortunatelly, this type of abstraction hides the problem of clock domain crossings (CDCs) which cause is either in metastability or in bad synchronization protocol design. CDCreveal tool implements the detection and extension of parts of CDCs prone to synchronization bugs, so one can easily detect and examine clock domain crossing or automatically verify the synchronization protocol using model checker.
Research groups:
Licence terms:
Free software under the terms of GNU GPL (cf.

Your IPv4 address:
Switch to https