Subject: Verification of Digital Systems (17.E244N )
Teaching students validation and verification processes for the highly-reliable digital systems.
After successfully completing the course, participants will be able to independently participate in process of specification, validation, verification and documentation of digital systems.
Part 1: Process of high-reliability digital system development following the DO-254 standard. Writing and validation of specification. Writing test cases. Part 2: High-reliability digital system design. Code tagging. Part 3: Methods of formal verification. BFM. UVM. Part 4: Code coverage techniques. Verification on hardware. Emulation on hardware. Part 5: Recension of verification results for digital system certification.
Lectures, assignments, lab exercises and project (60%). Theoretical exam: test in theory (40%)
| Authors | Title | Year | Publisher | Language |
|---|---|---|---|---|
| 2005 | English | |||
| 2013 | English | |||
| 2007 | English | |||
| 2007 | English |
| Course activity | Pre-examination | Obligations | Number of points |
|---|---|---|---|
| Test | Yes | Yes | 10.00 |
| Theoretical part of the exam | No | Yes | 30.00 |
| Practical part of the exam - tasks | No | Yes | 40.00 |
| Homework | Yes | Yes | 5.00 |
| Coloquium exam | No | No | 20.00 |
| Homework | Yes | Yes | 5.00 |
| Homework | Yes | Yes | 5.00 |
| Coloquium exam | No | No | 20.00 |
| Homework | Yes | Yes | 5.00 |
Prof. Pjevalica Nebojša
Full Professor
Lectures
Prof. Pjevalica Nebojša
Full Professor
Computational classes
Teaching Associate Petrovski Aleksandar
Teaching Associate
Computational classes
Faculty of Technical Sciences
© 2024. Faculty of Technical Sciences.
Contact:
Address: Trg Dositeja Obradovića 6, 21102 Novi Sad
© 2024. Faculty of Technical Sciences.