|
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.
|
|
Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Mechanochemical Preparation of Alumina-Ceria
Jirátová, Květa ; Spojakina, A. ; Tyuliev, G. ; Balabánová, Jana ; Kaluža, Luděk ; Palcheva, R.
Ceria containing catalysts play an essential role in heterogeneous catalytic processes. However, ceria shows poor thermal stability and low specific surface area and therefore, many studies have been done to improve its properties by combination with other oxides. Alumina-ceria is substantial component of the three ways catalysts, due to the ceria ability to function as the buffer of oxygen and to enhance the oxygen storage capacity of the catalysts. Ceria in these catalysts also functions as structural promoting component, increasing alumina stability towards thermal sintering. Promising method of oxides preparation, very interesting and simple but not sufficiently studied yet is a mechanochemical synthesis. Here we report on the synthesis of nano-sized alumina, ceria and ceria-alumina of various compositions by a wet solid phase mechanochemical reaction of hydrous aluminum, and/or cerium nitrate with ammonium bicarbonate after addition of a small amount of water. The aim of this contribution is to study processes being in progress during synthesis of the mixed oxides, interaction between components and their mutual effect on the properties of resulting products. The phase evolution during mechanical milling and the subsequent heat treatment of precursors were studied by X-ray diffraction, DTA/TG, H2-TPR, NH3-TPD, CO2-TPD, N2 adsorption at -195°C, IR, and XPS spectroscopy. Alumina and mixtures of alumina with different quantities of CeO2 (1- 18 wt. %) were synthesized by mechanochemical method from aluminum nitrate, cerium nitrate and ammonia bicarbonate.
Plný tet: SKMBT_C22015083108560 -  PDF
Plný text: content.csg - PDF
|
|
Management dodavatelů v automobilovém průmyslu
Holubcová, Romana ; Štůsek, Jaromír (vedoucí práce)
Jako téma své diplomové práce jsem si zvolila management dodavatelů v automobilovém průmyslu. Dodavatelsko-odběratelské vztahy jsou velmi důležité pro úspěch zúčastněných organizací i pro celkový rozvoj ekonomiky. Musí to být vztahy partnerské, aby se společnosti mohly rozvíjet, aby vzájemné obchody pro ně byly ekonomicky výhodné a své procesy mohly neustále zlepšovat. Ve své práci budu analyzovat stávající proces řízení dodavatelů ve společnosti, která je přímým dodavatelem do OEM. Original Equipment manufacturing (OEM), což je používaná zkratka pro finální výrobce automobilů a znamená to, že nevytváří jednotlivé produkty, ale je to vlastně montovna. Podle výsledků analýzy budou navržena zlepšení a implementována do nové směrnice pro strategický nákup.
|
|
Posouzení kapacity vybraných složek veřejné infrastruktury. Případová studie sídliště Barrandov.
Kocábek, Ondřej ; Novotný, Vojtěch (vedoucí práce) ; Vojtěch , Vojtěch (oponent)
Bakalářská práce se zabývá posouzením kapacit vybraných složek veřejné infrastruktury na sídlišti Barrandov. První část práce přibližuje formou literární rešerše problematiku územního plánování a udržitelného rozvoje, definuje pojem veřejná infrastruktura, nastiňuje zrod a vývoj panelových sídlišť a dále popisuje funkční členění a jednotlivé složky veřejné infrastruktury. Druhá část práce je zaměřena na metodiku posouzení kapacit včetně určení zkoumaných složek veřejné infrastruktury. Dále popisuje způsob určení kapacity zkoumaných složek. Třetí část práce popisuje řešené území, na které navazuje posouzení zkoumaných složek veřejné infrastruktury, vycházející z předchozí části. Z výsledků posouzení vyplynulo, že kapacity posuzovaných složek veřejné kapacity jsou v určitých ohledech na hraně své kapacitelnosti.
|
|
Vliv zkrmování lněného semínka na kvalitu mléčného tuku koz
Malá, Kateřina ; Fantová, Milena (vedoucí práce)
Druh podávaného krmiva, jeho kvalita, forma úpravy a technika krmení ovlivňují složení a kvalitu mléka. Podíl složek mléka je velmi proměnlivý v závislosti na výživě a zdravotním stavu jedince. K největším změnám dochází v obsahu mléčného tuku. Mléčný tuk je zodpovědný za přirozenou chuť mléka. Ovšem z hlediska moderního světa a zdraví lidí, jsou nasycené mastné kyseliny obsažené v mléčném tuku považovány za negativně působící složky s následným vznikem kardiovaskulárních onemocnění a vzniku atherosklerózy u lidí. V současné době tedy roste poptávka po nenasycených mastných kyselinách v mléce, jakožto zdraví prospěšné variantě. Z tohoto důvodu je snaha ovlivňovat složení nebo obsah mastných kyselin v mléce dojných zvířat. Jedním ze způsobů jak významně zvýšit obsah žádoucích MUFA a PUFA kyselin v mléčném tuku je použití olejů nebo semen olejnin v krmné dávce. Velice pozitivní vliv má lněné semínko, které mimo jiné obsahuje vysokou hladinu kyseliny linolenové.
Cílem této práce je provést a vyhodnotit analýzu mléčného tuku u koz, které jsou přikrmovány lněným semínkem v extrudované formě v porovnání s kontrolní skupinou koz bez příkrmu. Lze předpokládat, že zkrmování lněného semínka zvýší obsah mléčného tuku, včetně omega-3 a omega-6 mastných kyselin.
|
|
Management dodavatelů v automobilovém průmyslu
Holubcová, Romana ; Štůsek, Jaromír (vedoucí práce)
Jako téma své diplomové práce jsem si zvolila management dodavatelů v automobilovém průmyslu. Dodavatelsko-odběratelské vztahy jsou velmi důležité pro úspěch zúčastněných organizací i pro celkový rozvoj ekonomiky. Musí to být vztahy partnerské, aby se společnosti mohly rozvíjet, aby vzájemné obchody pro ně byly ekonomicky výhodné a své procesy mohly neustále zlepšovat. Ve své práci budu analyzovat stávající proces řízení dodavatelů ve společnosti, která je přímým dodavatelem do OEM. Original Equipment manufacturing (OEM), což je používaná zkratka pro finální výrobce automobilů a znamená to, že nevytváří jednotlivé produkty, ale je to vlastně montovna. Podle výsledků analýzy budou navržena zlepšení a implementována do nové směrnice pro strategický nákup.
|
| |
host ::
