Publication detail

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

ČEKAN, O.

Original Title

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

English Title

The principles of verification stimuli generation

Type

article in a collection out of WoS and Scopus

Language

Czech

Original Abstract

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.

English abstract

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.

Key words in English

functional verification assembly programs input stimuli constraints

Authors

ČEKAN, O.

RIV year

2015

Released

2. 9. 2015

Publisher

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

Location

Zlín

ISBN

978-80-7454-522-1

Book

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

Pages from

13

Pages to

18

Pages count

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"
}