Moderní metody verifikace smíšených integrovaných obvodů
Loading...
Date
Authors
Hradil, Jaroslav
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstract
Tato diplomová práce se zabývá verifikací integrovaných obvodů pracujících ve smíšeném módu. Teoretická část práce obsahuje přehled moderních verifikačních metod a zaměřuje se zejména na „assertion based methodology“ . V praktické části práce jsou pak rozebrány popisné jazyky používané u této metody, a následně je vytvořen kód pro verifikaci bloku řídícího obvodu spínaných zdrojů.
This master thesis deals with verification methods of mixed-signal integrated circuits. Theoretical part contains summary of modern verification methods with emphasis on „assertion based methodology“ . The practical part analyses descriptive languages used in this method and a code for verification of a power supply control circuit block is created.
This master thesis deals with verification methods of mixed-signal integrated circuits. Theoretical part contains summary of modern verification methods with emphasis on „assertion based methodology“ . The practical part analyses descriptive languages used in this method and a code for verification of a power supply control circuit block is created.
Description
Citation
HRADIL, J. Moderní metody verifikace smíšených integrovaných obvodů [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2014.
Document type
Document version
Date of access to the full text
Language of document
en
Study field
Mikroelektronika
Comittee
prof. Ing. Jaromír Hubálek, Ph.D. (předseda)
prof. Ing. Lubomír Hudec, DrSc. (místopředseda)
prof. Ing. Lukáš Sekanina, Ph.D. (člen)
doc. Ing. Radovan Novotný, Ph.D. (člen)
Dr.techn. Ing. Mária Bendová (člen)
Date of acceptance
2014-06-10
Defence
Student seznámil státní zkušební komisi s cílem a řešením své diplomové práce a zodpověděl otázky a připomínky oponenta. Další otázky na téma: použitých metod a jejich spolehlivosti v odhalování chyb, metodologie a testovacích struktur student zodpověděl. Dále byly kladeny připomínky na rozsah a formální stránku práce.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení