Loading [MathJax]/extensions/MathMenu.js
Enabler-based synchronizer model for clock domain crossing static verification | IEEE Conference Publication | IEEE Xplore

Enabler-based synchronizer model for clock domain crossing static verification


Abstract:

In the context of industrial size circuits, the interconnection of many blocks from many sources lead to globally asynchronous locally synchronous designs. The transmissi...Show More

Abstract:

In the context of industrial size circuits, the interconnection of many blocks from many sources lead to globally asynchronous locally synchronous designs. The transmission of information between clock domains requires complex synchronizers, the correctness of which must be thoroughly verified. Current EDA tools are able to recognize predefined synchronizing modules, but fail to identify custom synchronizers. This paper presents a new model and a set of properties to automatically extract synchronizers in a flat design, and formally verify the correctness of the implemented synchronization protocol.
Date of Conference: 14-16 September 2015
Date Added to IEEE Xplore: 12 November 2015
ISBN Information:
Print ISSN: 1636-9874
Conference Location: Barcelona, Spain

References

References is not available for this document.