Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Verification of Digital Systems (17.E244N)

Native organizations units: No data

Type of studies	Title

General information:

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

Educational goal:

Teaching students validation and verification processes for the highly-reliable digital systems.

Educational outcome:

After successfully completing the course, participants will be able to independently participate in process of specification, validation, verification and documentation of digital systems.

Course content:

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.

Teaching methods:

Lectures, assignments, lab exercises and project (60%). Theoretical exam: test in theory (40%)

Literature:

Authors	Title	Year	Publisher	Language
William K. Lam	Design Verification: Simulation and Formal Method-Based Approaches	2005	Prentice Hall	English
V. Kovačević, Z. Krajačević	Odabrana poglavlja projektovanja fizičke arhitekture, skripte	2005		Serbian language
R. Salemi	The UVM Primer An Introduction to the Universal Verification Methodology	2013	Boston Light Press	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

Knowledge evaluation:

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