School / Prep
ENSEIRB-MATMECA
Internal code
ES8EN227
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.
Teaching hours
- CMLectures20h
Mandatory prerequisites
Proficiency in C/C++ and VHDL is required.
Syllabus
Part 1: System verification issues
Part 2: Verification methods
Part 3: Verification tools for software development.
Part 4: Verification tools for hardware development.
Further information
Verification, V-cycle, Software programming (C/C++), Hardware architectures (VHDL), testbench
Assessment of knowledge
Initial assessment / Main session - Tests
Type of assessment | Type of test | Duration (in minutes) | Number of tests | Test coefficient | Eliminatory mark in the test | Remarks |
---|---|---|---|---|---|---|
Project | Continuous control | 1 |