|
|
Verification of Function Blocks for FPGA
Kříž, Daniel ; Smékal, David (referee) ; Jedlička, Petr (advisor)
This master thesis is devoted to the issue of verification of function blocks for FPGA. The teoritical part of thesis describes the concept of verification, verification methodologies that provide the necessary tools for testing the design, and finally discusses the issue of Ethernet and its differences from the low-latency variant. The aim of the practical part of the master thesis is based on the acquired theoretical knowledge and selected verification methodology to build a verification environment, perform a thorough verification of the low-latency physical layer of Ethernet and finally measure the latency and throughput of this circuit.
|
|
|
Modern methods of mixed-signal integrated circuit verification
Podzemný, Jakub ; Bohrn, Marek (referee) ; Fujcik, Lukáš (advisor)
This work aims at methods, which are suitable for mixed-signal integrated circuit verification. The emphasis is on the Assertion-based verification. In practice there are two languages, which can be used for this method - PSL and SystemVerilog. These languages are compared between each other and individually tested to find their capabilities, functional limits and restrictions. One of them will be integrated into verification flow of SCG Czech Design Center s. r. o. company to develop ABV methodology in analog and mixed-signal domain.
|
|
|
Enriching the Process of Verification of RISC-V Processor with Formal Techniques
Horký, Jakub ; Šnobl, Pavel (referee) ; Hruška, Tomáš (advisor)
This thesis provides a brief overview of the RISC-V architecture, design of processors, and how easily a bug can arise during the development. Then this thesis describes the way functional verification tries to discover those bugs and what are its pros and cons. More specifically, the thesis focuses on what the verification environment in UVM look like. Then the thesis describes, how formal verification fits in to the functional verification and shows the tools that are available for formal verification. The final part of this thesis, describes the process of how I wrote the assertions (written in SVA) for a RISC-V processor, using a property checking tool. Using these assertions for verifying a processor in the late stage of development, when functional verification already had the possibility to discover most of the bugs, I still was able to discover few of those bugs.
|
|
|
Verification of Function Blocks for FPGA
Kříž, Daniel ; Smékal, David (referee) ; Jedlička, Petr (advisor)
This master thesis is devoted to the issue of verification of function blocks for FPGA. The teoritical part of thesis describes the concept of verification, verification methodologies that provide the necessary tools for testing the design, and finally discusses the issue of Ethernet and its differences from the low-latency variant. The aim of the practical part of the master thesis is based on the acquired theoretical knowledge and selected verification methodology to build a verification environment, perform a thorough verification of the low-latency physical layer of Ethernet and finally measure the latency and throughput of this circuit.
|
|
|
Perception of the English Vowel Schwa by Czech Learners
Fajtová, Zdeňka ; Červinková Poesová, Kristýna (advisor) ; Matuchová, Klára (referee)
This thesis deals with the perception of English vowels by Czech listeners with special focus on the mid-central vowel schwa. The theoretical part presents the current research findings in the area of cross-language speech perception as well as it explores the differences between Czech and English vocalic systems. Further, it focuses on the negative transfer from the mother tongue. The aim of the practical part is to examine the impact of the Czech sound system on the discrimination of the neutral vowel schwa in different positions using a perception test devised specifically for the purposes of this research. The results indicate that the students' perception is influenced quite strongly by their native language as successful schwa identification occurred in approximately fifty per cent of all examined cases.
|
|
|
Modern methods of mixed-signal integrated circuit verification
Podzemný, Jakub ; Bohrn, Marek (referee) ; Fujcik, Lukáš (advisor)
This work aims at methods, which are suitable for mixed-signal integrated circuit verification. The emphasis is on the Assertion-based verification. In practice there are two languages, which can be used for this method - PSL and SystemVerilog. These languages are compared between each other and individually tested to find their capabilities, functional limits and restrictions. One of them will be integrated into verification flow of SCG Czech Design Center s. r. o. company to develop ABV methodology in analog and mixed-signal domain.
|
|
|
Role of Schwa in Word Stress Perception
Juránková, Martina ; Červinková Poesová, Kristýna (advisor) ; Bojarová, Marie (referee)
The aim of this bachelor thesis is to assess the role of schwa as the main representative of vowel reduction in the perception of English word stress. The research tool will be a perception test consisting of three groups of three to five syllable words. The individual categories will be differentiated from each other by the position of the sound schwa placed either before or after the syllable carrying the primary stress or it will not occur near the stressed syllable at all. Three groups of participants (Czech primary-school, secondary-school and university students) will be asked to mark the main stress in selected items. We hypothesize that the identification of stressed parts will be facilitated by the presence of schwa in the immediate vicinity of stressed syllables.
|
|
|
Perception of the English Vowel Schwa by Czech Learners
Fajtová, Zdeňka ; Červinková Poesová, Kristýna (advisor) ; Matuchová, Klára (referee)
This thesis deals with the perception of English vowels by Czech listeners with special focus on the mid-central vowel schwa. The theoretical part presents the current research findings in the area of cross-language speech perception as well as it explores the differences between Czech and English vocalic systems. Further, it focuses on the negative transfer from the mother tongue. The aim of the practical part is to examine the impact of the Czech sound system on the discrimination of the neutral vowel schwa in different positions using a perception test devised specifically for the purposes of this research. The results indicate that the students' perception is influenced quite strongly by their native language as successful schwa identification occurred in approximately fifty per cent of all examined cases.
|
guest ::
