CEH-Entwurfs-, Verifizierungs- und Zertifizierungsdienste (SoC, FPGAS usw.)
Warum HDL Design House wählen?
1.
Wir arbeiten mit HDL Design House (im Folgenden HDL-DH) zusammen, einem führenden Unternehmen auf dem Gebiet der Entwicklung komplexer elektronischer Hardware (Soc, ASIC, FPGA usw.), das Zertifizierungen für die Luftfahrt (DO-254), die Eisenbahn (EN-50129) oder die Automobilindustrie (ISO-26262) vorweisen kann.2.
HDL-DH ist seit 2016 ein ARM Approved Design Partner und verfügt über mehr als 15 Jahre Erfahrung im Design komplexer SoCs, einschließlich der Implementierung komplexer Kommunikationsprotokolle.
Entwurfsprozess für SoCs und FPGAs
- Design auf Modulebene, IP und High-Level-SoC-Design
- Funktionsspezifikation auf konzeptioneller und detaillierter Ebene
- RTL-Code-Entwicklung
- Synthese, Timing und Leistungsoptimierung
- Niedrige Leistungsaufnahme
- Logische Äquivalenzprüfung
- Zeitliche Abgrenzung Abmeldung
- Entwicklung und Integration mit Assertions
- Automatische Testmustergenerierung / Design for Test - ATPG/DFT
Verifikationsprozess für SoCs und FPGAs
Die Verifizierung von komplexem Soc ist der kritischste Teil der CEH-Zertifizierung und zweifellos derjenige, der den größten Aufwand erfordert.
Wir bieten eine Methodik an, die es ermöglicht, die SoC-Verifizierungszeit zu optimieren, indem wir die Markttechniken kombinieren, die den Bedürfnissen des Kunden am besten entsprechen.
Wir bieten eine Methodik an, die es ermöglicht, die SoC-Verifizierungszeit zu optimieren, indem wir die Markttechniken kombinieren, die den Bedürfnissen des Kunden am besten entsprechen.
- Validierung und Testplanspezifikation
- SW/UVC-Verifizierung mit umfassender Erfahrung mit Protokollen
- Specman-basierte Verifizierung für Bildverarbeitungs-IPs
- UVM/eRM-basierte Verifizierung
- Analyse und Deckungsschluss
- Verifizierung gemischter Signale
- Zeitliche Abgrenzung Abmeldung
- Einsatz von fortschrittlichen EDA-Verifikationswerkzeugen
- Unterstützte Sprachen:
- SystemVerilog
- e(Specman)
- SVA
- PSI
- VIIDL
- Verilog
- C, C++, SystemC, Python, Tcl, Perl
