Publication Details

Random Stimuli Generation Based on a Stochastic Context-Free Grammar

ČEKAN, O.; PODIVÍNSKÝ, J.; KOTÁSEK, Z. Random Stimuli Generation Based on a Stochastic Context-Free Grammar. In Proceedings of the 2016 International Conference on Field Programmable Technology. Xi'an: IEEE Computer Society, 2016. p. 295-296. ISBN: 978-1-5090-5602-6.

Czech title

Generování náhodných stimulů založené na pravděpodobnostní bezkontextové gramatice

Type

conference paper

Language

English

Authors

Čekan Ondřej, Ing., Ph.D. (UFYZ)
Podivínský Jakub, Ing., Ph.D. (UFYZ)
Kotásek Zdeněk, doc. Ing., CSc.

Keywords

Context-Free Grammar Random Stimuli Generation Stimulus Constraint

Abstract

The aim of this paper is to present the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional logic in the form of constraints has to be applied. The aim of the research is to create versatile solution for stimuli generation that can be used for various systems. The results achieved till now are used in verifying fault tolerance qualities of electromechanical designs, the control unit of which is implemented into FPGA.

Published

2016

Pages

295–296

Proceedings

Proceedings of the 2016 International Conference on Field Programmable Technology

ISBN

978-1-5090-5602-6

Publisher

IEEE Computer Society

Place

Xi'an

DOI

10.1109/FPT.2016.7929558

UT WoS

000402988900054

EID Scopus

2-s2.0-85021392546

BibTeX

@inproceedings{BUT131016,
  author="Ondřej {Čekan} and Jakub {Podivínský} and Zdeněk {Kotásek}",
  title="Random Stimuli Generation Based on a Stochastic Context-Free Grammar",
  booktitle="Proceedings of the 2016 International Conference on Field Programmable Technology",
  year="2016",
  pages="295--296",
  publisher="IEEE Computer Society",
  address="Xi'an",
  doi="10.1109/FPT.2016.7929558",
  isbn="978-1-5090-5602-6"
}