Detail publikace

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

ČEKAN, O.

Originální název

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

Anglický název

The principles of verification stimuli generation

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

čeština

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.

Anglický abstrakt

The paper discusses the dissertation thesis and summarizes the current state of knowledge in generating stimuli based on restrictive conditions - constraints. There is presented the design and basic parameters of the stimuli generator, which is suitable for use mainly in the functional verification of digital systems. In the paper, there are also defined dissertation goals and previous work representing the design and implementation of a universal stimuli generator, which is used in practice to generate assembly programs for processors.

Klíčová slova v angličtině

functional verification assembly programs input stimuli constraints

Autoři

ČEKAN, O.

Rok RIV

2015

Vydáno

2. 9. 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

Strany od

13

Strany do

18

Strany počet

6

URL

http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf

BibTex

@inproceedings{BUT119915,
  author="Ondřej {Čekan}",
  title="Principy generování verifikačních stimulů",
  booktitle="Počítačové architektury a diagnostika PAD 2015",
  year="2015",
  pages="13--18",
  publisher="Fakulta aplikované informatiky, Univerzita Tomáše Bati ve Zlíně",
  address="Zlín",
  isbn="978-80-7454-522-1",
  url="http://pad2015.fai.utb.cz/files/Sbornik_PAD_2015.pdf"
}