Facebook
DİNLE

Ders Kataloğu

EE 542 Sayısal Sistemlerin Doğrulanması ve Test Edilmesi 3 SU Kredi
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.

Acilan Donemler Ders Ismi SU Kredi
Bahar 2009-2010 Sayısal Sistemlerin Doğrulanması ve Test Edilmesi 3
Güz 2005-2006 Sayısal Sistemlerin Doğrulanması ve Test Edilmesi 3
Bahar 2003-2004 Sayısal Sistemlerin Doğrulanması ve Test Edilmesi 3

Onkosul: __
Yankosul: __
ECTS Kredi: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
Genel Kosullar :