About: Analyzátor CDC asynchronních komponent     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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 vzniku chyb 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á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 vzniku chyb 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. (cs)
  • 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. (en)
Title
  • Analyzátor CDC asynchronních komponent
  • Analyzátor CDC asynchronních komponent (cs)
  • Clock Domain Crossing Analyzer (en)
skos:prefLabel
  • Analyzátor CDC asynchronních komponent
  • Analyzátor CDC asynchronních komponent (cs)
  • Clock Domain Crossing Analyzer (en)
skos:notation
  • RIV/00216305:26230/09:PR24539!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/07/0322), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 303296
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/09:PR24539
http://linked.open...terniIdentifikace
  • CDCreveal
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • CDC, synchronization analysis, CDC verification (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [5019B61FC747]
http://linked.open...okalizaceVysledku
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...echnickeParametry
  • 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
http://linked.open...iv/tvurceVysledku
  • Smrčka, Aleš
http://linked.open...avai/riv/vlastnik
http://linked.open...itiJinymSubjektem
http://linked.open...n/vavai/riv/zamer
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software