|
Využití modelů úrokových měr při řízení úrokového rizika v prostředí českého finančního trhu
Cíchová Králová, Dana ; Arlt, Josef (vedoucí práce) ; Cipra, Tomáš (oponent) ; Witzany, Jiří (oponent)
Hlavním cílem práce je zejména nalezení vhodného přístupu k modelování úrokového rizika v prostředí českého finančního trhu při různých situacích na finančních trzích. Analyzována jsou tři zcela odlišná období, která jsou charakteristická různou mírou ohodnocení likviditního a kreditního rizika, rozdílnými vztahy mezi finančními veličinami a účastníky trhu a rozdílnou regulací trhu. Konkrétně se jedná o období před globální finanční krizí, období finanční krize a období po odeznění globální finanční krize a uklidnění následné dluhové krize v eurozóně. V rámci tohoto cíle je stěžejní aplikace modelu BGM v prostředí českého trhu. Použití modelu BGM pro účely predikce dynamiky výnosové křivky není běžné, neboť primární použití tohoto modelu je oceňování finančních derivátů při zajištění neexis- tence arbitráže a jeho aplikace je navíc relativně náročná. Přesto v této práci model BGM využiji pro získání predikcí pravděpodobnostních rozdělení úrokových sazeb v pro- středí české trhu a trhu eurozóny, protože jeho komplexnost, přímé modelování výnosové křivky na základě tržních sazeb a hlavně možnost odhadu parametrů založená na ak- tuálních kotacích volatilit swapcí mohou vést k výraznému zkvalitnění predikcí, což se v této práci potvrdilo. Převážně v období bezprecedentního monetárního uvolňování a zvýšených zásahů centrálních bank a ostatních regulátorů do činnosti finančních trhů, ke kterým dochází po finanční krizi, je využití tržních kotací volatilit swapcí výhodné, protože odráží aktuální očekávání trhu se započítáním očekávaných budoucích zásahů do fungování finančních trhů. Vzhledem k tomu, že v důsledku nerozvinutosti českého finančního trhu neexistují tržní kotace volatilit korunových swapcí, navrhuji jejich aproximace na základě kotací volatilit eurových swapcí s využitím volatilit forwardových korunových i eurových sazeb, díky čemuž jsou v získaných predikcích dynamiky české výnosové křivky započteny aktuální očekávání trhu. Není mi známo, že by nějaký jiný autor dosud publikoval obdobnou aplikace modelu BGM v prostředí českého finančního trhu. V této práci dále konstruuji predikce dynamiky české a eurové výnosové křivky peněžního trhu pomocí modelů CIR a GP jakožto zástupců různých typů modelů úro- kových měr. Pro posouzení predikční schopnosti jednotlivých modelů a vhodnosti jejich použití v prostředí českého trhu během různých situacích na finančním trhu navrhuji ucelený systém tří kritérií založený na porovnání predikcí se skutečností. Z této analýzy pre- dikční schopnosti vyplývá, že na základě modelu BGM lze získat predikce dynamiky výnosové křivky českého peněžního trhu s vysokou predikční schopností a nejlepší kva- litou ve srovnání s ostatními analyzovanými modely, nicméně i model GP poskytuje relativně kvalitní predikce. Naopak predikce učiněné na základě modelu CIR jakožto 6 zástupce modelů okamžité úrokové míry při popsání skutečnosti zcela selhaly. V situaci, kdy ekonomika umožňuje záporné sazby a zároveň existuje signifikantní pravděpodob- nost jejich zavedení, doporučuji provedení predikcí dynamiky výnosové křivky českého peněžního trhu pomocí modelu GP, který záporné sazby připouští. Součástí této analýzy je i provedení statistického testu predikční schopnosti jednotlivých modelů a informace o dalších možných statistických testech pro zhodnocení kvality modelů. Při aplikaci Berkowitzova testu byla u všech zkoumaných modelů zamítnuta hypotéza o tom, že vý- sledné predikce přesně popisují skutečnost. Tento fakt je však při aplikaci statistických testů na reálná data běžný i při použití relativně dobrého modelu především z důvodu obtížného splnění podmínek testů v reálném světě. Takovouto analýzu predikční schop- nosti vybraných modelů úrokových měr a navíc v prostředí českého finančního trhu jsem doposud v žádných jiných publikacích nezaznamenala. Posledním cílem této práce je navržení vhodného přístupu k predikci dynamiky ri- zikové přirážky českých státních dluhopisů, kterou definuji jako rozdíl mezi výnosem státních dluhopisů a fixní sazbou CZK IRS totožné délky. Takto definovaný ukazatel kreditního rizika České republiky modeluji pomocí modelu GP. Pro získání časových řad rizikové přirážky potřebných k odhadu parametrů modelu GP odhadnu nejdříve výnosové křivky českých státních dluhopisů pomocí Svenssonova modelu pro každý obchodní den od roku 2005. Z výsledných simulací je patrné, že model GP relativně dobře predikoval skutečný vývoj rizikových přirážek všech analyzovaných splatností. Navržený postup je vhodný pro modelování kreditního rizika České republiky na zá- kladě využití informací z finančních trhů. S takovýmto přístupem k modelování rizikové přirážky státních dluhopisů a navíc v českém prostředí jsem se doposud v žádné jiné publikaci nesetkala.
|
|
Rozdíly v postavení mužů a žen na českém trhu práce
Stroukal, Dominik ; Kadeřábková, Božena (vedoucí práce) ; Pavelka, Tomáš (oponent) ; Němec, Otakar (oponent)
Tato disertační práce se skládá z pěti článků, které aplikují aktuální světový výzkum ekonomie trhů práce na Českou republiku a potvrzuje významné rozdíly v postavení mužů a žen na tomto trhu. Ukazuje, že gender má významný vliv na preference na pracovním trhu a následně i na zaměstnanost a zdravotní stav. Práce nejprve dokládá, že preference jsou relevantním determinantem kariéry a poté studuje rozdíl v preferenci výše platu u žen a mužů. Následně se ukazuje, že pro gender hraje významnou roli ve vysvětlování vztahu mezi vlastnickým bydlením a nezaměstnaností a také nezaměstnaností a zdravotním stavem. V první kapitole se podařilo prokázat, že preference pro pracovní kariéru má pozitivní vliv na volbu pracovní kariéry. Vliv vysokoškolského vzdělání na upřednostnění kariéry se projevil jako kladný a významný. Pravděpodobnost volby pracovní kariéry snižuje přítomnost dětí, avšak není závislá na jejich počtu, což je v rozporu s teorií preferencí. Druhá kapitola ukazuje, že české ženy preferují oproti mužům více nepeněžní odměny. Také bylo ukázáno, že u vysokoškolsky vzdělaných v preferencích nepeněžních odměn nezáleží na pohlaví respondentů, avšak oproti světovým výzkumům v ČR vysokoškolské vzdělání tuto preferenci zvyšuje. Nakonec se ukázalo, že ženy méně než muži preferují riziko. Třetí kapitola dokládá, že přestože trh s bydlením narušuje pracovní mobilitu a zaměstnanost v České republice na regionální úrovni, tedy že v regionech s vyšší mírou vlastnického bydlení je vyšší nezaměstnanost, na individuální úrovni platí, že jsou vlastníci bydlení nezaměstnaní s menší pravděpodobností. V odhadech se výrazně lišili muži od žen. Muži žijící ve vlastnickém bydlení mají vyšší pravděpodobnost zaměstnanosti než ženy, na regionální úrovni se však ukazuje, že vysoká míra vlastnického bydlení zvyšuje nezaměstnanost mužům mužům i ženám, v delším čase pouze ženám. Čtvrtá kapitola ukázala, že u mužů přechod k vlastnickému bydlení snižuje v následujícím roce pravděpodobnost nezaměstnanosti. U žen se tento vztah ukázal jako nevýznamný. Vedle toho se jako nevýznamný projevil vztah opačný, tedy od přechodu do nezaměstnanosti k nově nabytému vlastnickému bydlení. Poslední kapitola dokládá, že změna pracovního statusu na nezaměstnanost zvýší v budoucnosti pravděpodobnost na zhoršení zdraví. Vliv kratší než dva roky se však neukázal jako významný. Důležitým závěrem je, že muži mají významně silnější vztah mezi zdravím a nezaměstnaností než ženy.
|
|
Evropská unie a její schopnost utvářet společnou zahraniční politiku: Přístup k Rusku během krize na Ukrajině
Grycová, Adéla ; Rolenc, Jan Martin (vedoucí práce) ; Cibulková, Petra (oponent)
Práce se zabývá problematikou rámování a evropeizace zahraniční politiky Evropské unie, které studuje v souvislosti s aktérstvím EU. Tyto dva teoretické koncepty aplikuje na případ přístupu České republiky a Evropské unie vůči Ruské federaci během krize na Ukrajině. Cílem práce je zjistit, zda je Evropská unie schopna působit na své členské státy tak, aby vytvořila jednotnou a akceschopnou zahraniční politiku. První kapitola se věnuje teoretickému vymezení obou konceptů, na to následuje podrobné přiblížení postojů České republiky a Evropské unie včetně jejich změn. Na základě těchto dvou kapitol je zhodnoceno, zda probíhal pokus o určité ovlivnění přístupu České republiky ze strany EU a zda byl tento proces úspěšný.
|
|
Aplikace simulací Monte Carlo v bankovnictví
Boruta, Matěj ; Teplý, Petr (vedoucí práce) ; Fučík, Vojtěch (oponent)
Bankovnictví je v současnosti vystaveno vysokým tržním rizikům. Jedním z těchto rizik je například výskyt negativní úrokové míry v EU. Je důležité používat při měření bankovních rizik sofistikované moderní metody, které nám umožní riziko změřit a následně i řídit. Jednou z těchto metod je metoda Monte Carlo. V této bakalářské práci jsem se zaměřil na analýzu a 3, 6 a 12 měsíční predikci úrokové sazby PROBOR s 3 měsíční splatností pomocí simulace Monte Carlo. Zjistil jsem, že tato metoda je vhodná pro predikci tržních veličin s nižšií volatilitou. Při aplikaci této metody je nezbytné kalkulovat s úskalími a předpoklady, které tato metoda zahrnuje, jako je adekvátní počet scénářů, aproximace správného rozdělení, nezávislost dat a v neposlední řadě, pokud je to možné, tak se zaměřit na faktory, které generují nahodilost tržní veličiny a ne na ceny, které spíše představují následky náhodného jevu než jejich příčinu. Dále jsem predikci srovnal s prognózou ČNB a zjistil jsem, že predikce Monte Carlo je přesnější na krátkodobé prognózy. Predikce Monte Carlo na 12 měsíců také odhalila možnost negativní úrokové sazby na 0,05%, kdežto prognóza ČNB negativní úrokovou sazbu nepredikovala vůbec.
|
|
Globální ekonomický výhled - říjen 2016
Česká národní banka
Říjnové vydání měsíčníku Globální ekonomický výhled přináší pravidelný přehled aktuálního i očekávaného vývoje ve vybraných teritoriích se zaměřením na hlavní ekonomické veličiny: inflaci, růst HDP, předstihové ukazatele, úrokové sazby, měnové kurzy a ceny komodit. V tomto čísle je naše pozornost detailně zaostřena na index cen průmyslových výrobců (PPI), který patří vedle indexu spotřebitelských cen (CPI) k důležitému indikátoru cenového vývoje v produkční oblasti ekonomik. Zde rovněž osvětlujeme specifika jeho vývoje, a to zejména v rámci zemí EU, včetně modelové simulace ukazující citlivost PPI na změnu ceny ropy.
Plný text:  PDF; PDF
|
|
Assesment of Ethiopian Monetary Policy: The Prospect of Inflation Targeting Using Monetary Var
Jehar, Mustofa Seid ; Baxa, Jaromír (vedoucí práce) ; Šolc, Jan (oponent)
This paper tries to assess the Ethiopian monetary policy, in order to investigate the prospect of inflation targeting. The paper starts by reviewing the literature on the evolution of Ethiopian monetary policy and Macroeconomy. This is followed, by the requirements of adopting inflation targeting and the practical experience of inflation targeting countries; finally the paper focuses on the requirement to have a stable and persistent relationship between the policy instrument and price level. Vector auto regression model with some monetary policy instrument and macroeconomic variables was used. To explore different transmission mechanism i have analyzed the Granger causality, impulse response, and Variance decomposition. Result showed that, there is a weak relationship among prices, interest rate and exchange rate channel. The paper, therefore, recommended it is not the right time to adopt the full-fledged inflation targeting. Rather, better try to adopt inflation targeting as an implicit policy.
|
|
Dendrochronologie arktické tundry
Lehejček, Jiří ; Svoboda, Miroslav (vedoucí práce) ; Monika, Monika (oponent)
Historicky bezprecedentní environmentální změny arktických ekosystémů jsou často zasazovány do kontextu jejich vývoje; minulého, ale i očekávaného budoucího. V oblastech s nedostatečnými instrumentálními meteorologickými pozorováními je nutné studovat klimatické archivy, které jsou schopny zasadit probíhající environmentální změny do kontextu minulosti. Práce předkládá syntézu jednoho takového archivu jalovce obecného (Juniperus communis) dlouhověkého cirkumpolárního keře arktické tundry. Na úrovni anatomie buňky bylo prozkoumáno 20 keřů. Kromě ekologických nároků druhu se tím odkryl i jeho potenciál pro environmentální a klimatické rekonstrukce. Mezi klíčové výsledky patří následující:
i) Zastavení exponenciálního zvětšování plochy vodivého aparátu s věkem je v rozporu s přirozeným charakterem tohoto fenoménu u stromů. To naznačuje, že keře nepotřebují zajišťovat potřeby vody a živin klasickými cestami zákonů hydraulické konduktivity ale spíše pomocí jiných mechanismů. Extrémní podmínky tedy limitují výškový vzrůst rostlin, které kvůli nim mění převládající směr svého růstu z vertikálního na horizontální. Jednotlivé projevy počasí však na vzrůst působí pravděpodobně odlišně. Zatímco sníh a vítr ovlivňují růst kmene/větví mechanicky, pak teplota spíše fyziologicky. Až do věku, kdy je mladý keř schopen ustát silný vítr ve vzpřímené pozici a jeho kmínek/větve mají dostatečnou resilienci se po odtání sněhové pokrývky opět narovnat, roste vzhůru a plocha vodivého aparátu se zvětšuje. Současně s tím teplota, resp. cykly opakovaného mrznutí a rozmrzání, způsobuje konzervativní vývoj keře, který preferuje bezpečnost (limitní velikost plochy vodivého aparátu) před hydraulickou efektivitou, čímž se brání embólii, ale tím i dalšímu výškovému růstu. Všechny tyto (ale i další) faktory jsou zřejmě dohromady zodpovědné za postupný přechod od vertikálního ke kvazihorizontálnímu růstu. Od této chvíle již není potřeba (ani to není fyziologicky možné) dále zvětšovat plochu vodivého aparátu, jelikož voda přestává být transportována proti gravitaci.
ii) Tento věkový/růstový trend je nutné uvažovat při dalším využívání růstových parametrů v paleoenvironmentálních studiích. Buněčné parametry by tedy neměly být využívány k těmto účelům, pokud nejsou správně detrendovány. To umožní nejen přesnější ale i delší rekonstrukce, protože je možné využít celý život rostlin včetně často opomíjené juvenilní fáze.
iii) Předložena je i rekonstrukce tání jihozápadní části Grónského ledovcového štítu (GrIS) během 20. st. Tato oblast je považována v rámci celého GrIS za nejaktivnější. Dle naší rekonstrukce není míra současného tání GrIS v kontextu 20. st. neobvyklá, resp. je srovnatelná s prvními dekádami 20. st. Tento poznatek je významným přispěním do debaty o Atlantické meridionální zpětné cirkulaci (AMOC). A sice, příliš velký přítok sladké studené vody do severního Atlantiku v důsledku tání GrIS může zpomalit nebo dokonce zastavit AMOC, což by způsobilo prohloubení kontinentálního charakteru evropského klimatu. Naše výsledky tak ukazují, že tato hranice leží výše, než je současná míra tání GrIS.
Jalovec obecný je fascinující arktický keř, který prokázal schopnost zodpovědět množství ekologický a environmentálních otázek. Především díky své dlouhověkosti a četnosti má obrovský potenciál stát se významných účastníkem arktického výzkumu.
|
|
Technologie zmrazování spermií býků ve vztahu k jejich přežitelnosti a oplozovací schopnosti
Doležalová, Martina ; Stádník, Luděk (vedoucí práce) ; Jiří, Jiří (oponent)
Cílem optimalizace procesu výroby inseminačních dávek je zajištění co nejvyšší oplozovací schopnosti spermií v průběhu relativně náročného procesu zpracování čerstvého ejakulátu a jeho následná kryokonzervace. Zejména v průběhu chlazení a mrazení spermií dochází k jejich poškození vlivem změny teplot, kdy jsou spermie vystaveny chladovému šoku a dalším limitujícím faktorům, které mají za následek buněčnou smrt a tudíž i snižování oplozovací schopnosti následně rozmrazené inseminační dávky. Pro zvýšení odolnosti spermií, respektive plazmatické membrány, vůči chladovému šoku byla do komerčně vyráběných ředidel přidávána frakce vaječného žloutku LDL cholesterol (low density lipoprotein) v různých koncentracích, takto vyrobené dávky byly testovány pomocí chladového a tepelného testu přežitelnosti spermií. Má se za to, že LDL příznivě ovlivňuje plazmatickou membránu spermií a napomáhá k lepší oplozovací schopnosti spermií po rozmrazení. Dalším krokem v procesu výroby inseminačních dávek je pozvolné chlazení naředěného ejakulátu a ekvilibrace, kdy jsou dávky uloženy v chladicím boxu po bobu 30 minut až 24 hodin, tato doba je nezbytně nutná pro penetraci určitých komponent ředidla do spermatických buněk a nastolení balance mezi jejich intracelulární a extracelulární koncentrací. Současně je důležitý následný teplotní gradient mrazení inseminačních dávek. Jako nejvhodnější způsob mrazení je dostupný systém počítačově řízeného poklesu teplot v mrazicím boxu, který umožňuje přesnou kontrolu tvorby ledových krystalů, které by mohly roztrhat, a tím zabít buňku.
V průběhu 2012 až 2016 byl opakovaně odebírán ejakulát od skupiny plemenných býků (n=27, býci holštýnského a českého strakatého plemene) na inseminační stanici. Ejakulát splňující standardní vstupní podmínky byl v prvním kroku rovnoměrně rozdělen na několik částí. K ředění ejakulátu byly využity 3 typy komerčně vyráběných ředidel AndroMed, Bioxcell a Triladyl bez a s přídavku LDL do ředidel o koncentraci 4 až 10 % v závislosti na typu ředidla. Naředěný ejakulát byl naplněn do skleněných kapilár o objemu 0,1 ml a teplotě +4 °C a vložen na 10 minut do chladicího boxu o teplotě 0 °C. Po uplynutí stanovené doby byl objem kapiláry smíchán s fyziologickým roztokem o teplotě 37 °C, kde byl vzorek 120 minut inkubován. Byl hodnocen vliv chladového šoku na podíl živých spermií v ejakulátu pomocí barvení Eosinem a Nigrosinem v průběhu tepelného testu přežitelnosti spermií a to ihned po zahřátí vzorku a po uplynutí 120 minutové inkubace. Z výsledků bylo patrné, že vhodnějšími ředidly pro zvyšování odolnosti spermií vůči chladovému šoku byly AndroMed a Bioxcell. Současně byl také zjištěn pozitivní vliv přídavku LDL do ředidel na nižší pokles podílu živých spermií v průběhu tepelného testu (P<0,05). Jako nejvhodnější koncentrace mající příznivý vliv na odolnost spermií vůči chladovému šoku byla vyhodnocena 6% koncentrace LDL v ředidle Bioxcell, kdy byly hodnoty podílu živých spermií vyšší jak na začátku tepelného testu (+1,31 % až +3,2 %) tak po 2 hodinové inkubaci (+5,82 % až +8,41 %) oproti ostatním ředidlům bez a s přídavkem LDL.
V dalším kroku byl optimalizován proces ekvilibrace, který je důležitou součástí výroby dávek a byl vyhodnocen vliv délky ekvilibrace na následnou oplozovací schopnost spermií hodnocenou pomocí motility spermií po rozmrazení zjištěné na základě CASA a podíl živých spermií v průběhu tepelného testu přežitelnosti trvajícím 120 minut (37 °C). Vhodný ejakulát byl naředěn standardně využívaným ředidlem AndroMed na bázi sojového lecitinu, naředěný ejakulát byl naplněn do pejet (0,25 ml), zchlazen a ekvilibrován v chladicím boxu po dobu 30, 120 a 240 minut, následně byl mrazen v programovatelném mrazicím boxu dle 4 typů mrazicích křivek lišících se teplotou a rychlostí poklesu teplot v komoře. K mrazení byla využita standardně využívaná a výrobcem doporučovaná 3. fázová mrazicí křivka, dále 2. fázová mrazicí křivka, a 3. fázová mrazicí křivka s pomalejším a naopak rychlejším poklesem teplot v komoře, oproti standardní mrazicí křivce. Nejvhodnější délka ekvilibrace byla 240 minut, kde byla zjištěna motilita vyšší o +2,72 % a +4,58 % oproti ostatním délkám ekvilibrace (P<0,05 až 0,01). Nejvyšších průměrných hodnot podílu živých spermií bylo dosaženo při délce ekvilibrace 120 minut (+6,87 % a 8,68 %). Nejvyšší průměrné motility spermií po rozmrazení v průběhu tepelného testu přežitelnosti bylo dosaženo při mrazení na základě 2. fázové mrazicí křivky (od +2,97 % do +10,37 %, P<0,05), taktéž při hodnocení podílu živých spermií (od +4,37% do +8,82 %, P<0,01). Při vyhodnocení interakce mezi délkou ekvilibrace mrazicí křivkou ( 2. fázová a 3. fázová standardní) bylo nejvyšších hodnot průměrné motility a podílu živých spermií u obou křivek v kombinaci s délkou ekvilibrace 240 minut, avšak nebyl mezi nimi zaznamenán žádný statisticky průkazný rozdíl. Ve všech hodnocených částech práce byly nalezeny individuální rozdíly mezi jednotlivými býky i mezi jednotlivými odběry ejakulátu od jednoho býka (P<0,05).
Pro zachování dobré oplozovací schopnosti ejakulátu v průběhu procesu kryokonzervace je zapotřebí zvýšit odolnost spermií vůči chladovému šoku a to přidáním správné koncentrace LDL do vhodného komerčně vyráběného ředidla, kterým bylo ředidlo AndoMed a Bioxcell. Následně je ve velké míře oplozovací schopnost vyrobené inseminační dávky ovlivněna chlazením a délkou ekvilibrace před samotným mrazením. Délka ekvilibrace 120 minut a déle a následný šetrný způsob mrazení dle mrazicí křivky, která zajišťuje pozvolný pokles teplot v komoře, zajistí vyšší průměrnou motilitu spermií a podíl živých spermií po rozmrazení.
|
|
Confidence Cycles and Liquidity Hoarding
Audzei, Volha
Důvěra na trzích se během minulých ekonomických krizí ukázala být důležitým faktorem. Přesto mnoho existujících modelů všeobecné rovnováhy neuvažuje očekávání ekonomických subjektů, volatilitu trhů nebo příliš pesimistické výhledy investorů. V této práci je do modelu DSGE zakomponován model mezibankovního trhu, přičemž úroková sazba na mezibankovním trhu a objem půjček záleží na tržní důvěře a vnímání rizika spojeného s protistranou. K úvěrové krizi v modelu dojde při vnímání nárůstu rizika protistrany. Výsledky naznačují, že změny v důvěře na trzích mohou generovat úvěrové krize a přispívat k hloubce ekonomických recesí. V článku jsou také provedeny simulace napodobující některé měnové politiky centrálních bank: cílované a necílované poskytování likvidity a snížení měnověpolitických sazeb. Výsledky naznačují, že bez ovlivnění očekávání ekonomických subjektů mají tyto politiky na nabídku úvěrů pouze omezený dopad. Zajímavé je také zjištění, že nízké úrokové míry v tomto modelu zhoršují ekonomickou recesi skrze negativní dopad na bilance bank. Poskytování likvidity mírně stimuluje úvěry, ale efektivita tohoto kroku je podrývána hromaděním likvidity.
Plný text: PDF
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
host ::
