|
|
Technologie pro senzory nositelné na těle
Javor, Adrián ; Majzlíková, Petra (oponent) ; Hubálek, Jaromír (vedoucí práce)
Táto bakalárska práca sa zaoberá hrubovrstvými a tenkovrstvými technológiami vytvárania senzorov nositeľných na ľudskom tele, ktoré snímajú látky v ľudskom pote. Časť je venovaná ich rozdeleniu a následným návrhom flexibilných trojelektródových biosenzorov využívajúcich 4 rôzne elektrochemické prevodníky. Všetky tieto biosenzory snímajú koncentráciu laktátu v ľudskom pote a sú založené na imobilizácii enzýmu laktátoxidázy na povrchu pracovnej elektródy. Technologický postup výroby biosenzorov pozostáva z kombinácii hrubovrstvových a tenkovrstvových technológii. Záver tejto práce obsahuje amperometrické stanovenia koncentrácie laktátu pomocou biosenzorov, z ktorých boli vytvorené kalibračné krivky.
|
|
|
Formal verification of RISC-V processor with Questa PropCheck
Javor, Adrián ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
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áš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
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.
|
|
|
Technologie pro senzory nositelné na těle
Javor, Adrián ; Majzlíková, Petra (oponent) ; Hubálek, Jaromír (vedoucí práce)
Táto bakalárska práca sa zaoberá hrubovrstvými a tenkovrstvými technológiami vytvárania senzorov nositeľných na ľudskom tele, ktoré snímajú látky v ľudskom pote. Časť je venovaná ich rozdeleniu a následným návrhom flexibilných trojelektródových biosenzorov využívajúcich 4 rôzne elektrochemické prevodníky. Všetky tieto biosenzory snímajú koncentráciu laktátu v ľudskom pote a sú založené na imobilizácii enzýmu laktátoxidázy na povrchu pracovnej elektródy. Technologický postup výroby biosenzorov pozostáva z kombinácii hrubovrstvových a tenkovrstvových technológii. Záver tejto práce obsahuje amperometrické stanovenia koncentrácie laktátu pomocou biosenzorov, z ktorých boli vytvorené kalibračné krivky.
|
host ::
RSS.