Analyzátor CDC asynchronních komponent

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APR24539" target="_blank" >RIV/00216305:26230/09:PR24539 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Analyzátor CDC asynchronních komponent

Popis výsledku v původním jazyce

Nástroj rozšiřující SMV modely návrhů HW komponent řízených více hodinovými signály. Konvenční přístup formální verifikace návrhů hardware je založen na modelování nulového zpoždění při změně hodnot řídicích signálů. Taková abstrakce však skrývá možné problémy vznikající v křížení časových domén (CDC), jejichž kořeny spočívají buď v metastabilitě signálů nebo ve špatném návrhu synchronizačního protokolu. Nástroj CDCreveal implementuje detekci a rozšíření částí CDC, které jsou náchylné k možnosti vznikuchyb synchronizace. S využitím CDCreveal je možné detekovat a prozkoumat křížení časových domén nebo automaticky verifikovat návrh synchronizace pomocí model checkeru.

Název v anglickém jazyce

Clock Domain Crossing Analyzer

Popis výsledku anglicky

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.

Druh

R - Software

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

CDCreveal

Technické parametry

Objektově orientovaná knihovna a program v jazyku Python (verze 2.5 a vyšší) s otevřeným kódem. Knihovna je modulově rozšiřitelná, zahrnuté jsou 3 moduly. Program a knihovna je použitelný pro všechny platformy podporující interpret jazy

Ekonomické parametry

—

IČO vlastníka výsledku

00216305

Název vlastníka

Vysoké učení technické v Brně