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