Faculty of Information Technology, BUT

Publication Details

Universal Pseudo-random Generation of Assembler Codes for Processors

ČEKAN Ondřej, ZACHARIÁŠOVÁ Marcela and 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, pp. 70-73. Available from: http://www.median-project.eu/wp-content/uploads/18_IV-2_median2015.pdf
Czech title
Univerzální pseudonáhodné generování assembler kódu pro procesory
Type
conference paper
Language
english
Authors
URL
Keywords
universal generator, assembler, processor, functional verification
Abstract
The paper describes a universal generation of test stimuli  based  on  solving  constraints.  The  architecture  of  the universal generator consists of two formal models. The first one is used for describing the generated scenario and the second one for  specifying  constraints  for  this  scenario.  The  generation  of the  assembler  programs  for  Application-Specific  Instruction-set Processors (ASIPs) is an example of the use of this architecture. The  necessary  steps  needed  to  generate  a  valid  assembler  code are  described.  The  quality  of  the  generator  is  measured by  the instruction and statement coverage in functional verification.
Published
2015
Pages
70-73
Proceedings
Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale
Conference
MEDIAN 2015, Grenoble, FR
Publisher
COST, European Cooperation in Science and Technology
Place
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"
}
Back to top