|
|
Technology of wearable sensors
Javor, Adrián ; Majzlíková, Petra (referee) ; Hubálek, Jaromír (advisor)
This bachelor thesis deals with thick-film and thin-film technology of creating wearable sensors on human body, that sense substances in perspiration. Part is devoted to their classification and making subsequent proposal of flexible three-electrode biosensors using 4 different electrochemical transducers. All of these biosensors sense concentration of lactate in human sweat, and are based on immobilization lactate oxidase enzyme on the working electrode. Technological process of production is based on combination of thick-film and thin-film technology. Conclusion of this bachelor thesis contains amperometric evaluations of the lactate concentration, from which calibration curves were created.
|
|
|
Formal verification of RISC-V processor with Questa PropCheck
Javor, Adrián ; Fujcik, Lukáš (referee) ; Dvořák, Vojtěch (advisor)
The topic of this master thesis is Formal verification of RISC-V processor with Questa PropCheck using SystemVerilog assertions. The theoretical part writes about the RISC-V architecture, furthermore, selected components of Codix Berkelium 5 processor used for formal verification are described, communication protocol AHB-lite, formal verification and its methods and tools are also studied. Experimental part consists of verification planning of selected components, subsequent formal verification, analysing of results and evaluating a benefits of formal technics.
|
|
|
Formal verification of RISC-V processor with Questa PropCheck
Javor, Adrián ; Fujcik, Lukáš (referee) ; Dvořák, Vojtěch (advisor)
The topic of this master thesis is Formal verification of RISC-V processor with Questa PropCheck using SystemVerilog assertions. The theoretical part writes about the RISC-V architecture, furthermore, selected components of Codix Berkelium 5 processor used for formal verification are described, communication protocol AHB-lite, formal verification and its methods and tools are also studied. Experimental part consists of verification planning of selected components, subsequent formal verification, analysing of results and evaluating a benefits of formal technics.
|
|
|
Technology of wearable sensors
Javor, Adrián ; Majzlíková, Petra (referee) ; Hubálek, Jaromír (advisor)
This bachelor thesis deals with thick-film and thin-film technology of creating wearable sensors on human body, that sense substances in perspiration. Part is devoted to their classification and making subsequent proposal of flexible three-electrode biosensors using 4 different electrochemical transducers. All of these biosensors sense concentration of lactate in human sweat, and are based on immobilization lactate oxidase enzyme on the working electrode. Technological process of production is based on combination of thick-film and thin-film technology. Conclusion of this bachelor thesis contains amperometric evaluations of the lactate concentration, from which calibration curves were created.
|
guest ::
