Циљ и исход предмета
Основе савременог пројектовања и верификације дигиталних система као кључних области за развој поузданих и комплексних хардверских архитектура са разним применама. Проучава се комплетан ток дизајна, формална и симулациона верификација, као и методологије тестирања сложених дигиталних кола на системском нивоу. Кандидат је у стању да самостално планира, пројектује и верификује комплексне дигиталне системе за различите примене у разним областима микроелектронике и рачунарског инжењерства. Студенти разумеју и примењују напредне методологије за верификацију (попут UVM-а) и језике за опис и верификацију хардвера. Кандидати разумеју и у стању су да анализирају покривеност кода, функционалну покривеност и спроведу формалну математичку верификацију исправности хардвера.
Теоријска настава
Токови пројектовања и верификације савремених дигиталних интегрисаних кола (ASIC и FPGA). Напредни концепти језика за опис хардвера и језика за верификацију системског нивоа. Методологије верификације засноване на симулацији и тврдњама (Assertion-Based Verification). Формална верификација и математички докази исправности рада дигиталних кола. Стандардизоване верификационе методологије и објектно-оријентисани приступ у тестирању хардвера. Напредне технике генерисања насумичних тестова са ограничењима (constrained-random testing). Мерење функционалне покривености (functional coverage) и покривености кода као метрика за успешност верификације. Дизајн прилагођен тестирању (Design for Testability – DFT) и дијагностика грешака на чипу. Ко-верификација хардвера и софтвера на системском нивоу. Примери примене напредних метода верификације у развоју сигурносних критичних система, аутомобилске индустрије, ваздухопловства и других области инжењерства.
Студијски истраживачки рад
Примена водећих EDA/CAD софтверских алата за симулацију, синтезу и верификацију дигиталних система. Развој напредних тестних окружења и симулационих сценарија за задате сложене хардверске архитектуре. Аутоматизација процеса тестирања и анализа извештаја о покривености дигиталних кола. Примена формалних метода верификације на реалним примерима дизајна. Кроз студијски истраживачки рад студент, проучавајући научне часописе и осталу литературу самостално продубљује градиво са предавања. Уз рад са наставником студент се оспособљава за самостално писање научног рада.