Přístupnostní navigace
E-application
Search Search Close
Publication detail
Č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
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" }