Courses – Fakultet tehničkih nauka u Novom Sadu

Subject: Functional Hardware Verification (17.EM459)

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

General information:

Category	Scientific-professional
Scientific or art field	Electronics
ECTS	5

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.

- 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

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.

Lectures. Computer labs. Consultations.

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