Detail publikace

Principy generování verifikačních stimulů

ČEKAN, O.

Originální název

Principy generování verifikačních stimulů

Český název

Principy generování verifikačních stimulů

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

cs

Originální abstrakt

Tento článek pojednává o tématu disertační práce a shrnuje aktuální stav poznání v oblasti generování stimulů založeného na omezujících podmínkách. Je zde představen návrh a základní parametry generátoru stimulů, který je vhodný pro použití především ve funkční verifikaci číslicových systémů. V rámci článku jsou rovněž definovány cíle disertační práce a dosavadní práce představující návrh a realizaci univerzálního generátoru stimulů, který je použit v praxi pro generování assemblerovských programů pro procesory.

Český abstrakt

Tento článek pojednává o tématu disertační práce a shrnuje aktuální stav poznání v oblasti generování stimulů založeného na omezujících podmínkách. Je zde představen návrh a základní parametry generátoru stimulů, který je vhodný pro použití především ve funkční verifikaci číslicových systémů. V rámci článku jsou rovněž definovány cíle disertační práce a dosavadní práce představující návrh a realizaci univerzálního generátoru stimulů, který je použit v praxi pro generování assemblerovských programů pro procesory.

Rok RIV

2015

Vydáno

02.09.2015

Nakladatel

Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně

Místo

Zlín

ISBN

978-80-7454-522-1

Kniha

Počítačové architektury a diagnostika PAD 2015

Edice

NEUVEDEN

Číslo edice

NEUVEDEN

Strany od

13

Strany do

18

Strany počet

6

URL

Dokumenty

BibTex


@inproceedings{BUT119915,
  author="Ondřej {Čekan}",
  title="Principy generování verifikačních stimulů",
  annote="Tento článek pojednává o tématu disertační práce a shrnuje aktuální stav poznání
v oblasti generování stimulů založeného na omezujících podmínkách. Je zde
představen návrh a základní parametry generátoru stimulů, který je vhodný pro
použití především ve funkční verifikaci číslicových systémů. V rámci článku jsou
rovněž definovány cíle disertační práce a dosavadní práce představující návrh
a realizaci univerzálního generátoru stimulů, který je použit v praxi pro
generování assemblerovských programů pro procesory.",
  address="Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně",
  booktitle="Počítačové architektury a diagnostika PAD 2015",
  chapter="119915",
  edition="NEUVEDEN",
  howpublished="online",
  institution="Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně",
  year="2015",
  month="september",
  pages="13--18",
  publisher="Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně",
  type="conference paper"
}