Analyzátor CDC asynchronních komponent

English title

Clock Domain Crossing Analyzer

Type

software

License

In order to use the result by another entity, it is always necessary to acquire a license

License Fee

The licensor does not require a license fee for the result

Authors

Smrčka Aleš, Ing., Ph.D. (DITS)

Keywords

CDC, synchronization analysis, CDC verification

Description

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.

Location

http://www.fit.vutbr.cz/~smrcka/w/doku.php?id=research:cdcreveal

License Conditions

Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Projects

Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, 2007-2009, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running

Research groups

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Departments

Department of Intelligent Systems (DITS)