| Цоурсе Титле | Десигн анд Верифицатион оф Хардwаре | ||||||||||||||
| Фацултy
|
Сцхоол оф Цомпутинг | ||||||||||||||
| Студy Программе
|
Цомпутер Енгинееринг – доцторал студиес | ||||||||||||||
| Профессор | Лазар Карбунар | Цонтацт (е-маил аддресс) | лкарбунар@раф.рс | ||||||||||||
| Цоде | 14.9133
|
Цоурсе левел | Доцторал | ЕЦТС цредитс | 13 | ||||||||||
|
Десцриптион (маx. 100 wордс) |
Интродуцтион то тхе формал специфицатион анд верифицатион оф хардwаре: тхе цонтеxт, десигн оф цирцуитс, еррорс анд цyцле оф десигн. Формал верифицатион, симуlatионс, тест вецторс, тест-бенцхес, десигн-фор-тест анд десигн-фор-верифицатион стyлес оф wритинг цоде анд верифицатион басед он ассертион (ассертион-басед верифицатион, АБВ). Формал (статиц), семи-формал анд информал (дyнамиц, фунцтионал) аппроацх то верифицатион. Хардwаре верифицатион лангуагес (ХВЛс). Пропертиес специфицатион лангуагес (ПСЛс). Формал пропертиес оф хардwаре десцриптион лангуагес (ФПЛс). Сyмболиц модел цхецкинг, голден десигн, логицал еqуиваленце. Аппроацхес то верифицатион басед он Боолеан фунцтионс. Репресентатионс оф Боолеан фунцтионс усинг бинарy децисион диаграмс (БДД). Еxтенсионс анд вариантс оф БДДс. Аппроацхес то верифицатион басед он тхе сатисфиабилитy проблем (САТ), лимитед модел цхецкинг (БМЦ), сyмболиц трајецторy естиматион (СТЕ), солверс оф САТ проблемс, цомбинед САТ-БДД цхецкерс. Аппроацхес то верифицатион басед он фините стате мацхинес (ФСМ). Тхе формал верифицатион оф хардwаре ин хигхер ордер логиц (ПТЛ, ЦТЛ, ЛТЛ). Десцриптионс оф хардwаре усинг темпорал струцтурес, логицал формулас анд специфицатионс. Пробабилистиц модел цхецкинг. | ||||||||||||||
|
Леарнинг оутцомес (маx. 50 wордс) |
Тхеоретицал ундерстандинг оф формал специфицатионс анд верифицатион оф хардwаре. Аналyсис оф перформанце оф специфиед хардwаре. Усе оф софтwаре пацкагес фор хардwаре специфицатионс анд верифицатионс. | ||||||||||||||
| Семестер
|
1 | Маxимум нумбер оф виситинг студентс | 3 | ||||||||||||
| Лангуаге | Сербиан, Енглисх | Аваилабле фор интернатионал студентс (YЕС ор НО) | YЕС | ||||||||||||
Абоут тхе Аутхор:
Леаве А Цоммент
Yоу муст бе логгед ин то пост а цоммент.