• Your selection is empty.

    Register the diplomas, courses or lessons of your choice.

Test and Verification

  • School / Prep

    ENSEIRB-MATMECA

  • Study level

    Bac + 4

Internal code

ESE8-NUME1

Description

The aim of this course is to provide an understanding of the issues involved in verifying digital systems during the design phase. In order to improve design processes and reduce development time, the usual methods used in the design of digital systems are detailed. Finally, these methods are implemented during a sequence of TDs/TPs using the C and VHDL languages.

Read more

Objectives

Skills developed through this module :

  • Analyze and use IT design methods and tools for embedded systems - Level 2
  • Analyze and use digital circuit design methods for embedded systems - Level 2
Read more

Teaching hours

  • CMLectures8h
  • TDMMachine Tutorial12h

Mandatory prerequisites

Proficiency in C/C++ and VHDL is required.

Read more

Syllabus

Part 1: System verification issues
Part 2: Verification methods
Part 3: Verification tools for software development.
Part 4: Verification tools for hardware development.

Read more

Further information

Verification, V-cycle, Software programming (C/C++), Hardware architectures (VHDL), testbench

Read more

Assessment of knowledge

Initial assessment / Main session - Tests

Type of assessmentType of testDuration (in minutes)Number of testsTest coefficientEliminatory mark in the testRemarks
Final inspectionWritten0.33
Semester assessmentMinutes0.66

Second chance / Catch-up session - Tests

Type of assessmentType of testDuration (in minutes)Number of testsTest coefficientEliminatory mark in the testRemarks
Final testWritten1