Název: Moderní metody verifikace smíšených integrovaných obvodů
Překlad názvu: Modern methods of mixed-signal integrated circuit verification
Autoři: Hradil, Jaroslav ; Dvořák, Vojtěch (oponent) ; Fujcik, Lukáš (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2014
Jazyk: eng
Nakladatel: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstrakt: [eng] [cze]
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.
Klíčová slova: assertion; behavioral modeling; mixed-signal; verification; wreal; assertion; behaviorální modelování; mixed-signal; verifikace; wreal

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/32171

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-221032


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Diplomové práce