Thesis Details

Principles of test stimuli generation

Ph.D. Thesis Student: Čekan Ondřej Academic Year: 2021/2022 Supervisor: Kotásek Zdeněk, doc. Ing., CSc.
Czech title
Principy generování testovacích stimulů
Language
English
Abstract

The research presented in this thesis is focused on the design of general principles in the field of generating stimuli for various systems. Stimuli represent the input data of a system that determines its behavior. A significant advantage is the use of these principles in the field of functional verification. Functional verification is one of the verification techniques that verifies the correct behavior of the system by monitoring its inputs and outputs. The proposal took into account four key criteria in terms of generating stimuli - parameterizability, speed, randomness, versatility.  Based on the design, the architecture of stimuli generation for general use was defined. Input structures are used to describe stimuli, which define the desired stimulus format and the constraints imposed on it. Thanks to this, it is possible to obtain both a valid stimulus and change the constraints during the generation, which is especially suitable for obtaining higher coverage in functional verification. The general definition of stimuli is ensured by a formal description. The research defined the principles of creating stimuli for processors, functional units and application data. The presented method achieves an improvement over conventional approaches.

Keywords

Verification Stimulus, Test Vector, Functional Verification, Constraints, Processor, Robot controller, Assembler, Maze, Formal Grammar, Probabilistic Constraint Grammar

Department
Degree Programme
Files
Status
defended
Date
7 October 2021
Citation
ČEKAN, Ondřej. Principles of test stimuli generation. Brno, 2021. Ph.D. Thesis. Brno University of Technology, Faculty of Information Technology. 2021-10-07. Supervised by Kotásek Zdeněk. Available from: https://www.fit.vut.cz/study/phd-thesis/886/
BibTeX
@phdthesis{FITPT886,
    author = "Ond\v{r}ej \v{C}ekan",
    type = "Ph.D. thesis",
    title = "Principles of test stimuli generation",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/886/"
}
Back to top