Detail publikace
Universal Pseudo-random Generation of Assembler Codes for Processors
ČEKAN Ondřej, ZACHARIÁŠOVÁ Marcela a KOTÁSEK Zdeněk. Universal Pseudo-random Generation of Assembler Codes for Processors. In: Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Grenoble: COST, European Cooperation in Science and Technology, 2015, s. 70-73. Dostupné z: http://www.median-project.eu/wp-content/uploads/18_IV-2_median2015.pdf
Název česky
Univerzální pseudonáhodné generování assembler kódu pro procesory
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
URL
Abstrakt
Tento příspěvek popisuje univerzální generování testovacích stimulů, který je založen na řešení problémů s omezujícími podmínkami. Architektura tohoto univerzálního generátoru je založena na dvou vstupních modelech. První model popisuje generovaný scénář, zatímco druhý model obsahuje omezující podmínky pro tento scénář. Navržený generátor je použit pro generování assemblerovských programů pro procesor. Výsledky generovaných programů jsou měřeny pomocí pokrytí ve funkční verifikaci.
Rok
2015
Strany
70-73
Sborník
Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
Konference
MEDIAN 2015, Grenoble, FR
Vydavatel
COST, European Cooperation in Science and Technology
Místo
Grenoble, FR
BibTeX
@INPROCEEDINGS{FITPUB10882, author = "Ond\v{r}ej \v{C}ekan and Marcela Zachari\'{a}\v{s}ov\'{a} and Zden\v{e}k Kot\'{a}sek", title = "Universal Pseudo-random Generation of Assembler Codes for Processors", pages = "70--73", booktitle = "Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale", year = 2015, location = "Grenoble, FR", publisher = "COST, European Cooperation in Science and Technology", language = "english", url = "https://www.fit.vut.cz/research/publication/10882" }