|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Digital circuits test optimization by multifunctional components
Stareček, Lukáš ; Gramatová, Elena (referee) ; Kubátová, Hana (referee) ; Kotásek, Zdeněk (advisor)
This thesis deals with the possibilities of digital circuit test optimization using multifunctional logic gates. The most important part of this thesis is the explanation of the optimization principle, which is also described by a formal mathematical apparatus. Based on this apparatus, the work presents several options. The optimization of testability analogous to inserting test points and simple methodology based on SCOAP is shown. The focus of work is a methodology created to optimize circuit tests. It was implemented in the form of software tools. Presented in this work are the results of using these tools to reduce the test vectors volume while maintaining fault coverage on various circuits, including circuits from the ISCAS 85 test set. Part of the work is devoted to the various principles and technology of creating multifunctional logic gates. Some selected gates of these technologies are subject to simulations of electronic properties in SPICE. Based on the principles of presented methodology and results of multifunctional gates simulations, analysis of various problems such as validity of the modified circuit test and the suitability of each multifunctional gate technology for the methodology was also made. The results of analysis and experiments confirm it is possible for the multifunctional logic gate to optimize circuit diagnostic properties in such a way that has achieved the required circuit test parameter modification with minimum impact on the quality and credibility of these tests.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.
|
|
Gender schematization in self-description
Vranka, Marek ; Bahbouh, Radvan (advisor) ; Šulová, Lenka (referee)
This thesis critically analyzes some measures of masculinity and femininity. Special attention is paid primarily to a BSRI (Bem Sex-Role Inventory), which is the most widespread but completely invalid instrument for measuring gender identity. At the same time, there is presented an alternative approach to the topic of gender identity based on an application of statistical discriminant analysis technique to generally shared stereotypical evaluations of typical men and women. In empirical part, proposed approach is successfully tested in practice by creating an index of masculinity / femininity. Results of analyzes of relations between the determined gender identity and various other components of gender belief system (cognitive gender schematization, an explicit M / F and gender attitudes) suggest the validity of this approach. Between feminity (regardless of sex) and a measure of traditional gender attitudes has been found small but significant negative correlation (rs = -0.3). Keywords: masculinity, feminity, discriminant analysis, critique of BSRI
|
|
Supplier management in automotive industry
Holubcová, Romana ; Štůsek, Jaromír (advisor)
In my thesis I deal with the process of Supplier management in automotive industry. Supplier - customer relationship is very important for a success both company and for the global development of the economy too. These relationships must be partnership and support the development of the companies and their each other businesses are beneficial for both sides. In my thesis I analyze current process of the supplier management in the company, what directly supply to OEM. Original Equipment manufacturing (OEM), is the final producer of automobiles, it is mean this company do not produce components but assemble supplied modules. I propose improvements and up-date the directive Strategic purchasing according to results from the analysis.
|
|
Supplier management in automotive industry
Holubcová, Romana ; Štůsek, Jaromír (advisor)
In my thesis I deal with the process of Supplier management in automotive industry. Supplier - customer relationship is very important for a success both company and for the global development of the economy too. These relationships must be partnership and support the development of the companies and their each other businesses are beneficial for both sides. In my thesis I analyze current process of the supplier management in the company, what directly supply to OEM. Original Equipment manufacturing (OEM), is the final producer of automobiles, it is mean this company do not produce components but assemble supplied modules. I propose improvements and up-date the directive Strategic purchasing according to results from the analysis.
|
|
The overview and the evaluation of the technical specifications of transparent materials for the production of composite wood panels
Holub, Jan ; Böhm, Martin (advisor) ; Arnetová, Karolína (referee)
Work includes: general introduction to the components of the wood-based panels with a transparent layer, the history of their production. It includes requirements for individual components of composite wood panels and requirements for wood and other wood-based materials, which serve as reinforcement. Also mentions claims potting material, which serves as a matrix.
It includes a description of the technology of wood-based panels with a transparent layer. This paper introduces the most commonly used material serving as a matrix, their distinctive characteristics essential for the production of composite plates. Compares parameters resins based on polyester, polyurethane and epoxy resins and analyzes the choice of a suitable material for producing a composite board based on user requirements. Part of this work is to design materials for the manufacture of composite board with controlled light distribution.
|
|
Environmental variables acquisition and evaluation
Ulrych, Vladislav ; Vasilenko, Alexandr (advisor)
The first part of thesis is devoted to the environment of the room in which is monitoring device intended - server room. There are description of calculating algorithms for proper sizing of cooling due to the heat. Further in this part is description of suitable senzors for monitoring device - physical principle, their proper use and meaning. Theoretical part also contains a list of several available ready commercial solutions of monitoring stations and their characteristics.
The second part is devoted to the assembly of monitoring device - physical build of hardware components, preparation s and connecting sensors, operating system installation, configuration and network preparation. The second part contains also instaling web server and configuration parts, that allows amek a web interface with presentation of measured physical quantities. Integration device with Simple Network Management Protocol (SNMP) for use with Zabbix monitoring system. Output from this work can be used for monitoring fundamental physical quantities in a small server room or in switch room.
|
guest ::
