Présentation

Cocotb : "co-routine based co-simulation test bench" est un package Python qui permet de faire de la simulation RTL pilotée en Python.

Python est devenu un langage universel très populaire dans les domaines scientifiques et informatiques et dispose d’une librairie immense d’extensions (plus de 400 000).
Cela permet ainsi de modéliser sans effort dans l’environnement cocotb des périphériques et des protocoles complexes pour créer des bancs de test puissants et efficaces.

• Cocotb permet d’écrire des bancs de test en Python.
• Cocotb est indépendant du/des langages HDL utilisé(s) : VHDL, Verilog ou SystemVerilog.
• Cocotb fonctionne avec pratiquement tous les simulateur HDL
• Cocotb est gratuit !
• Cocotb est très utilisé en vérification FPGA, mais il peut aussi être utilisé dans des projets ASIC ou SoC.

À qui est destinée cette formation ?

Aux Ingénieurs devant vérifier un FPGA (ou ASIC) dans un contexte où les langages HDL montrent leur limites. Par exemple avec des périphériques ou des flux de données complexes (Vidéo, Audio, Ethernet, Crypto, Données compressées ou structurées, traitement de signal, modems, bus de processeurs…).

Connaissances requises

Il est fortement recommandé d’avoir des notions de base sur le langage Python. Une connaissance de la vérification hardware (bancs de test et simulateurs HDL) est également attendue.

Au besoin, vous pouvez contacter ALSE pour vérifier que cette formation vous conviendra.

Objectifs pédagogiques

Maîtriser cocotb pour être directement opérationnel avec cette méthodologie de vérification.

Qu’apprendrez-vous ?

• Principes de la vérification Hardware
• Rappels essentiels du langage Python
• Les principes de cocotb
• Construire l’environnement de test
• Stratégies de vérification : tests directs, conditions aux limites, bancs de tests text-based, random contraint, coverage, création de composants réutilisables de vérification etc…
• Utilisation de packages tiers.

Support de cours

Les manuels de cours Doulos sont réputés pour être détaillés et faciles d’utilisation. Ils sont souvent utilisés comme référence après avoir suivi les cours de formation.

Sont compris dans la formation :

• Le Manuel de cours, indexé, constitue un Manuel de Référence.
• Le Cahier des Exercices pratiques qui mettent en œuvre les concepts acquis.
• Les fichiers des exercices (avec solutions).