Facebook
EE 542 Sayısal Sistemlerin Doğrulanması ve Test Edilmesi Select Term:
Bu ders ilk önce sayısal sistemlerin doğrulanması ve test edilmesi problemlerini tanımlar. Daha sonra tasarım doğrulanması, tasarım hataları, simülasyonla doğrulama, emülasyonla doğrulama, biçimsel doğrulama ve zaman doğrulamasını anlatır. Daha sonra sayısal sistemlerin test edilmesi, hata modelleri, otomatik test vektörü oluşturulması, hata simülasyonu, hafıza testi, test edilebilir tasarlama, kendi içinden test, SoC test yapılarını anlatır. Son olarakta otomatik test vektörü oluşturma tekniklerini kullanarak tasarım doğrulaması yapılmasını anlatır.
SU Kredi : 3.000
AKTS Kredi : 10.000
Ön Koşul : -
Yan Koşul : -