All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

DFT Flow for RT Level Digital Circuits Using iFCoRT System

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66974" target="_blank" >RIV/00216305:26230/06:PU66974 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    DFT Flow for RT Level Digital Circuits Using iFCoRT System

  • Original language description

    Our team performs some research activities at the field of testability in past years. These activities results in testability analysis, testability verification, test scheduling and test controller synthesis methodologies. All methodologies are describedformally using language of mathematics and theoretical computer science and are based on a formal model of the RT level digital circuit. These tasks can be performed by the iFCoRT system (I path Based, Formally Described and Proved Concept of RTL Digital Circuits Testability). This paper describes how the system can be used during design-for-testability process - a design flow of a testable RT level digital circuit.

  • Czech name

    Návrhový tok návrhu pro snadnou testovatelnost číslicových systémů na úrovni RT s využitím systému iFCoRT

  • Czech description

    Výzkumná skupina diagnostiky na UPSY FIT VUT v Brně dosáhla&nbsp;v posledních letech některých zajímavých výsledků. Její výzkumné aktivity pokrývají analýzu testovatelnosti, verifikaci testovatelnosti, plánování testu a syntézu řadiče testu. Všechny metodiky jsou důsledně popsány formálně jazykem matematiky a teoretické informatiky a jsou založeny na formálním modelu číslicového obvodu na úrovni RT. Všechny popsané aktivity jsou nyní sjednoceny do systému iFCoRT (I path Based, Formally Described and Proved Concept of RTL Digital Circuits Testability). Tento článek popisuje, jak může být systém iFCoRT využit při návrhu pro snadnou testovatelnost.

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    JC - Computer hardware and software

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GA102%2F04%2F0737" target="_blank" >GA102/04/0737: Modern methods of digital system synthesis</a><br>

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2006

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics ECI 2006

  • ISBN

    80-8073-598-0

  • ISSN

  • e-ISSN

  • Number of pages

    6

  • Pages from-to

    292-297

  • Publisher name

    NEUVEDEN

  • Place of publication

    Košice

  • Event location

    Herľany

  • Event date

    Sep 20, 2006

  • Type of event by nationality

    EUR - Evropská akce

  • UT code for WoS article