Moderní metody verifikace smíšených integrovaných obvodů
| but.committee | 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) | cs |
| but.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. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Elektrotechnika, elektronika, komunikační a řídicí technika | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Fujcik, Lukáš | en |
| dc.contributor.author | Hradil, Jaroslav | en |
| dc.contributor.referee | Dvořák, Vojtěch | en |
| dc.date.created | 2014 | cs |
| dc.description.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ů. | en |
| dc.description.abstract | 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. | cs |
| dc.description.mark | C | cs |
| dc.identifier.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. | cs |
| dc.identifier.other | 74244 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/32171 | |
| dc.language.iso | en | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | verifikace | en |
| dc.subject | behaviorální modelování | en |
| dc.subject | wreal | en |
| dc.subject | assertion | en |
| dc.subject | mixed-signal | en |
| dc.subject | verification | cs |
| dc.subject | behavioral modeling | cs |
| dc.subject | wreal | cs |
| dc.subject | assertion | cs |
| dc.subject | mixed-signal | cs |
| dc.title | Moderní metody verifikace smíšených integrovaných obvodů | en |
| dc.title.alternative | Modern methods of mixed-signal integrated circuit verification | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2014-06-10 | cs |
| dcterms.modified | 2014-06-13-12:06:26 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta elektrotechniky a komunikačních technologií | cs |
| sync.item.dbid | 74244 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 13:14:17 | en |
| sync.item.modts | 2025.01.17 14:40:55 | en |
| thesis.discipline | Mikroelektronika | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. Ústav mikroelektroniky | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |