Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Functional Hardware Verification (17.EM459)

Native organizations units: Department of Power, Electronic and Telecommunication Engineering

Type of studies	Title

General information:

Category	Scientific-professional
Scientific or art field	Electronics
Interdisciplinary	No
ECTS	5

Educational goal:

Acquiring knowlegde of basic methods and tools in the field of functional verification of digital electronic systems. Introduction to the basic characteristics of the hardware verification languages.

Educational outcome:

- ability to create functional veirification plan based on the functional specification of the system - ability to develop a verification environment using some of the existing hardware verification languages (HVLs) - ability to conduct funcional verification of complex digital system using developed verification environment

Course content:

Importance of verification. Functional verification. Functional verification flow. Verification plan. Verification environment. Basic components of the verification environment. Mesuring coverage of the verification plan. Code coverage. Functional coverage. Verification based on coverage measurement. Functional verification languages "e" and System Verilog. Industrial tools for the functional verification of hardware.

Teaching methods:

Lectures. Computer labs. Consultations.

Literature:

Authors	Title	Year	Publisher	Language
A. Meyer	Principles of Functional Verification	2003	Newnes	English
C. Spear, G. Tumbush	SystemVerilog for Verification	2012	Springer Verlag	English
A. Piziali	Functional Verification Coverage Measurement and Analysis	2004	Springer Verlag	English
S. Palnitkar	Design Verfication with e	2003	Prentice Hall	English