Online-Schulung
Der Kurs wird auf Spanisch oder Englisch unterrichtet.
Es wird Sie nicht gleichgültig lassen
Dieser Kurs konzentriert sich auf die Methodik für die Entwicklung und Verifizierung von programmierbarer Logik in FPGAs und SoCs unter Verwendung von VHDL, unter Berücksichtigung der Sicherheitsstandards, die in unternehmenskritischen Projekten erforderlich sind.
Ziel ist es, Methoden, Werkzeuge und gute Designpraktiken für eine erfolgreiche FPGA-Verifikation vorzustellen.
Dazu gehört auch die Durchführung praktischer Verifikationsfälle, bei denen die in den Sicherheitsstandards geforderten Zertifizierungsnachweise erstellt werden.
Der Kurs richtet sich an Personen mit Kenntnissen in der Entwicklung von Projekten unter Sicherheitsbestimmungen, die aus dem Softwarebereich kommen oder über Vorerfahrungen in der Anwendung von VHDL verfügen.
Die Teilnehmer erhalten die Kursfolien im pdf-Format und die verschiedenen praktischen Fallstudien gelöst.
Der Trainer
Ingenieur für Elektronik und Telekommunikation und Master in Robotik, mit zwanzig Jahren Erfahrung im Bereich eingebetteter Systeme. Er kombiniert Erfahrung in der Hardware- und Softwareentwicklung mit der Zertifizierung kritischer Systeme.
Tagesordnung
- Planung
- Anforderungserfassung
- Detaillierter Entwurf
- Anforderungserfassung
- Detaillierter Entwurf
- Implementierung
- Verifizierung & Validierung
- RTL versus Verhaltenscode
- Gute Kodierungspraktiken & Kodierungsstandards
- Numerische Bibliotheken
- SEU-Minderung
- Fehlertolerante Systeme
- Sichern Sie Ihren Entwurf
- Grundlagen der Regressionsprüfung
- HDL-Simulation
- Cross-Clock-Domain-Analyse
- Statische Timing-Analyse
- Netzlistensimulation
- Hardwareprüfung
- Funktionale Abdeckung
- Assertionen
- Eingeschränkte Stichprobenprüfung
- UVVM
- VUnit
- Entwurfswerkzeuge und Verifikationswerkzeuge
- Werkzeugqualifizierung versus Werkzeugbewertung
- Erstellung eines Demoprojekts
- Python für VHDL-Tests
- Installation von Bibliotheken von Drittanbietern
- Bibliotheken für die Datenanalyse
- Regressionstests
- Generierung von Testdaten
- Synthese und Implementierung
- Back annotated testing