|
|
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.
|
|
|
Sport vs. eSport: motives of viewership from the fans' point of view
Hampel, Jiří ; Voráček, Josef (advisor) ; Jarošík, Richard (referee)
Title: Sport vs. eSport: viewership motives from the fans' perspective Objectives: The main aim of this bachelor thesis is to find common or different elements of sport and esports that motivate fans to watch it. The fulfillment of the main objective is preceded by the selection of appropriate motives. Subsequently, through proper and targeted exposure to individual motives, officials and individual managers can expand and manage the membership base. Methods: The research was carried out using a quantitative method of electronic questioning. An electronic questionnaire distributed through social networks was used to collect data, which enabled responses from 144 respondents. The research sample was composed of fans of sports and esports. Results: The research has provided a closer look at the motives that drive fans to watch sports and esports. The research also revealed the similarities between sports and esports industries, which will make it possible to apply marketing methods from sports to the emerging esports environment. The results of the research can also be used by marketers to select the most applicable themes and create targeted marketing messages. Keywords: fan, themes, tracking, player, games, claim
|
|
| |
|
|
Výživové trendy v pekařském oboru
Jandlová, Marcela
This bachelor thesis "Nutritional trends in the baker's branch" includes basic principles of healthy diet, it contains the issues of nutrition and health claims in the bakery industry. This work gives information about current market of bakery products. Nowadays bakers have to deal with the competition of products from the chain stores, bakers are not always successful and go under. This bachelor thesis includes historical information about availability of cereals and bakery products; beginning of the cultivation of cereals falls into the Stone Age. This thesis refers to a tendency of coming back to the traditions. The main part of this work discusses vegetable raw materials, which are significant for human health and also focuses on a quality of the dough and bakery products properties after the addition of the vegetable raw material. The work contains examples of baker's mixtures and bakery products with a higher proportion of spelled, wholemeal and rye flour; in some of the examples are listed nutritional values and composition.
|
guest ::
