Specjalność: Weryfikacja Systemów Cyfrowych (WSC)
Mikroinformatyka Systemów Cyfrowych, st. Magisterskie (stacjonarne, Katowice)
Charakterystyka specjalności
Na rynku narasta zapotrzebowanie na projektowanie dedykowanych systemów cyfrowych o wysokiej wydajności obliczeniowej. Jest to spowodowane powszechną informatyzacją wielu aspektów życia wyrażających się m.in. przez Przemysł 4.0 a także coraz powszechniej wykorzystywanymi technikami uczenia maszynowego i sztucznej inteligencji w codziennym życiu jak i technologiach kosmicznych, satelitarnych i telekomunikacyjnych (np. Internet Rzeczy). Kierunek „Mikroinformatyka systemów cyfrowych” jest odpowiedzią na powstałe zapotrzebowanie.
Kierunek „Mikroinformatyka systemów cyfrowych” integruje i w zdecydowany sposób rozszerza wiedzę z obszarów projektowania układów i systemów cyfrowych oraz ich weryfikacji. Specjalność Weryfikacja Systemów Cyfrowych obejmuje podstawowy zakres przedmiotów powiązanych z projektowaniem oraz rozszerzony zakres przedmiotów powiązanych z weryfikacją systemów cyfrowych.
Profil studenta
Specjalność kierowana jest do osób zainteresowanych pozyskaniem wiedzy związanej ze współczesnymi dedykowanymi systemami cyfrowymi ze szczególnym uwzględnieniem ich weryfikacji.
Przedmioty specjalnościowe
- Weryfikacja funkcjonalna
- Sprzętowa implementacja algorytmów
- Interfejsy i magistrale
- Środowisko testowe dla języka Python/Weryfikacja metodą emulacji sprzętowej (przedmiot wariantowy)
- Teoretyczne podstawy syntezy logicznej
- Metodyka UVM
- Wysokopoziomowe modelowanie i projektowanie systemów
- Komputerowo wspomagane projektowanie układów scalonych
Profil absolwenta
Absolwent kierunku uzyska wszechstronną wiedzę oraz umiejętności w zakresie:
- cyfrowego przetwarzania sygnałów,
- języków opisu sprzętu, metod modelowania układów i systemów, odwzorowania sprzętowego, metod syntezy układów kombinacyjnych i sekwencyjnych,
- projektowania sprzętowych układów dedykowanych, sprzętowej implementacji algorytmów, projektowania mikroprocesorów i implementacji sprzętowej sztucznych sieci neuronowych,
- projektowania systemów współbieżnych, harmonogramowania zadań, metod optymalizacji i synchronizacji obliczeń w odwzorowaniu sprzętowym i programowym,
- wysokopoziomowego projektowania systemów,
- metod weryfikacji układów sprzętowych z wykorzystaniem symulacji oraz emulacji sprzętowej,
- metod weryfikacji funkcjonalnej, metodyki UVM oraz wykorzystania elementów weryfikacji formalnej w projektowaniu systemów,
- metod i narzędzi przeznaczonych do projektowanie układów scalonych bardzo dużej skali integracji (VLSI).
Absolwenci kierunku mogą znaleźć pracę:
- w przedsiębiorstwach wytwarzających wartość intelektualną typu IP Core,
- w firmach implementujących cyfrowe moduły sprzętowe w przetwarzaniu sygnałów i danych, w tym w firmach telekomunikacyjnych i firmach z obszaru technologii kosmicznych i satelitarnych,
- w przedsiębiorstwach opracowujących dedykowane oprogramowanie do syntezy, implementacji oraz weryfikacji systemów cyfrowych,
- w firmach wykorzystujących technikę cyfrową i mikroprocesorową, między innymi w obszarze Przemysłu 4.0 i Internetu Rzeczy.
