Verification of Digital Systems | Faculty of Technical Sciences

Subject: Verification of Digital Systems (17.E244N)

General information:

Category	Scientific-professional
Scientific or art field	Computer Engineering and Computer Communication
ECTS	6

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
R. Salemi	The UVM Primer An Introduction to the Universal Verification Methodology	2013	Boston Light Press	English
William K. Lam	Design Verification: Simulation and Formal Method-Based Approaches	2005	Prentice Hall	English
J. Bergeron	Writing testbenches using SystemVerilog	2007	Springer	English
H. Vance, T. Baghi	Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware)	2007	Avionics Communications	English

Course activity	Pre-examination	Obligations	Number of points
Coloquium exam	No	No	20.00
Homework	Yes	Yes	5.00
Coloquium exam	No	No	20.00
Practical part of the exam - tasks	No	Yes	40.00
Theoretical part of the exam	No	Yes	30.00
Homework	Yes	Yes	5.00
Homework	Yes	Yes	5.00
Homework	Yes	Yes	5.00
Test	Yes	Yes	10.00

Prof. Nebojša Pjevalica

Full Professor

Lectures

Prof. Nebojša Pjevalica

Full Professor

Computational classes

Teaching Associate Aleksandar Petrovski

Teaching Associate

Computational classes

Faculty of Technical Sciences

University of Novi Sad

Contact:

Address: Trg Dositeja Obradovića 6, 21102 Novi Sad

Phone: (+381) 21 450 810
(+381) 21 6350 413

Fax : (+381) 21 458 133
Emejl: ftndean@uns.ac.rs