Едиција: „ТЕХНИЧКЕ НАУКЕ - УЏБЕНИЦИ”

Назив уџбеника: „Рачунарске вежбе из предмета Формалне методе пројектовања и верификације хардвера”

Аутори: Станиша Даутовић, Вук Врањковић

Рецензенти: др Растисалав Струхарик, доцент Факултета техничких наука  у Новом Саду
             др Горан Љ. Ђорђевић, ред. проф. Електронског факултета у Нишу
                  
Издавач: Факултет техничких наука у Новом Саду

Главни и одговорни уредник:
проф. др Раде Дорословачки, декан Факултета техничких наука у Новом Саду

Штампа: ФТН - Графички центар ГРИД, Трг Доситеја Обрадовића 6, Нови Сад
Штампање одобрио: Савет за библиотечку и издавачку делатност ФТН-а у Новом Саду
Председник Савета за библиотечку и издавачку делатност:
др Радош Радивојевић, редовни професор Факултета техничких наука у Новом Саду

---

CIP-Каталогизација у публикацији
Библиотека Матице српске, Нови Сад
004.3 12(075.8)(076)

ДАУТОВИЋ, Станиша
     Рачунарске вежбе из предмета Формалне методе
пројектовања и верификације хардвера / Станиша Даутовић,
Вук Врањковић. - Нови Сад : Факултет техничких наука, 2014
(Нови Сад : ФТН, Графички центар ГРИД). -  127 стр. : илустр.; 24 цм. –
(Едиција “Техничке науке - уџбеници” ; бр. 479)
Тираж 100. - Библиографија.
ISBN 978-86-7892-654-9

а) Хардвер – Пројектовање - Вежбе

---

Из рецензије
Практикум је написан прегледно, јасним стилом, са већим бројем добро одабраних примера и задатака, који су тако постављени да постепено уводе студента у област верификације хардвера применом софтверског алата за формалну верификацију IFV Cadence. Треба истаћи да оваква врста уџбеника из области формалних метода верификације хардвера генерално недостаје универзитетској литературе у Србији. Такође рукопис представља користан водич за инжењере електронике који желе да се упознају са основама формалне верификације и њеним могућностима.
                                                                                                                                                                                                                        Др Горан Љ. Ђорђевић, редовни професор

---