Subject: Formal Methods for Hardware Verification - advanced topics (17.DE100 )
Native organizations units: Department of Power, Electronic and Telecommunication Engineering
Study programmes of the course:
| Type of studies | Title |
|---|---|
| Doctoral Academic Studies | Power, Electronic and Telecommunication Engineering (Year: 1, Semester: Winter) |
The objective of the course is to introduce students to the contemporary approaches in hardware design and verification based on mathematical formalism.
Students who successfully complete this course will be able to follow the newest results, understand the professional and research literature and become participants in the scientific work in the area.
Overview of formal methods in hardware design and verification. Part of the course is conducted through individual research and study work in the field of hardware design and verification. The study and research work is based on active study of primary scientific sources, organization and performance of experiments and statistic data processing, numerical simulations, and writing a paper in the narrow scientific area within the topic of the Doctoral dissertation.
Teaching is performed individually with each student. The teacher in cooperation with each student selects his (or hers) areas of interest and in accordance with it selects the theme and the literature that the student has to individually present and defend. Study and research.
| Authors | Title | Year | Publisher | Language |
|---|---|---|---|---|
| Razni autori | Noviji članci iz časopisa | 2007 | English |
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Theoretical part of the exam | No | Yes | 50.00 |
| Term paper | Yes | Yes | 50.00 |
Assoc. Prof. Dautović Staniša
Associate Professor
Lectures
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.