Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU73411" target="_blank" >RIV/00216305:26230/07:PU73411 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Podpora návrhu pro snadnou testovatelnost číslicových obvodů popsaných na úrovni meziregistrových přenosů

  • Popis výsledku v původním jazyce

    Tato monografie popisuje komplexní formální přístup k diagnostice číslicových obvodů reprezentovaných popisem struktury na úrovni meziregistrových přenosů (úroveň RT). Jsou popsány základní problémy, kterým čelí návrhář takových obvodů v případě, že požaduje vybavit jím navrhovaný obvod vlastnostmi snadné testovatelnosti a také řešení těchto problémů. Všechna popsaná řešení jsou prezentována na jednotném modelu a ve spojení s vhodným generátorem testu vedou k ucelenému systému podpory návrhu snadno testovatelných obvodů. Popis na úrovni abstrakce odpovídající RT nese ještě dost informace o funkci obvodu, která se další syntézou ve struktuře obvodu stává stále méně zřetelná. Aplikovat principy návrhu pro snadnou testovatelnost již v rané fázi návrhu obvodu je výhodné - vede k nižší režii. Prezentovaná metoda analýzy testovatelnosti využívá konceptu i cest pro nalezení takových cest pro diagnostické informace

  • Název v anglickém jazyce

    Design for Testability Support for RT Level Digital Circuits

  • Popis výsledku anglicky

    A complete formal approach to the RT level digital circuits diagnostics is presneted. To develop the methodology, formal tools were used. It allows to create a formal model of a circuit, to describe its diagnostic and testability properties and describetestability analysis algorithms, all of them formally. The concepts utilized in discrete mathematics and computer science are used. The entities which are objects of the circuit (circuit elements, interconnections, etc.) are subdivided into sets, other features and dependencies are expressed by relations. As the description language, the language of predicate logic is used. The exactness of the description and ability to transform problems of the testability analysis to well-known and solved problems ofdiscrete mathematics and theoretical computer science are the main advantages of the formal approach.

Klasifikace

  • Druh

    B - Odborná kniha

  • CEP obor

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

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2007

  • 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ů

Údaje specifické pro druh výsledku

  • ISBN

    978-80-214-3551-3

  • Počet stran knihy

    130

  • Název nakladatele

    Fakulta informačních technologií VUT v Brně

  • Místo vydání

    Brno

  • Kód UT WoS knihy