Facebook
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
AKTS Kredi : 10
Ön Koşul : -
Yan Koşul : -