Visure: Gestion de Requisitos
Astrée: Detección de errores runtime
Stack Analyzer: Dimensionar el stack
AbsInt -- Estimación del WCET
Multi: Entorno de desarrollo cruzado
Integrity: Real Time Operating System
CodeSonar - Análisis de Vulnerabilidades
CodeSentry - Análisis de Vulnerabilidades
Astrée: Detección de errores runtime
Stack Analyzer: Dimensionar el stack
AbsInt -- Estimación del WCET
Multi: Entorno de desarrollo cruzado
Integrity: Real Time Operating System
CodeSonar - Análisis de Vulnerabilidades
CodeSentry - Análisis de Vulnerabilidades
Formación en Certificación Aeronáutica
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Ingeniería de Sistemas
Formación en SonarQube
Python for testers
HDL Verification for Safety Critical
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Ingeniería de Sistemas
Formación en SonarQube
Python for testers
HDL Verification for Safety Critical
Mejore su productivad
Reduzca el tiempo de desarrollo
Servicios de Diseño, Verificación y Soporte a la
Certificación de CEH (SoC, FPGAS, ...)
Colaboramos con HDL Desing House (en adelante HDL-DH) que es líder en el campo de diseño de Complex Electronic Hardware (Soc, ASIC, FPGA, etc.), proporcionando evidencias de certificación aeronáuticas (DO-254), ferroviarias (EN-50129) o de automoción (ISO-26262).
HDL-DH es un ARM Approved Design Partner desde 2016 y tiene más de 15 años de experiencia en el diseño de SoC complejos, incluyendo la implementación de complejos protocolos de comunicaciones.
HDL-DH es un ARM Approved Design Partner desde 2016 y tiene más de 15 años de experiencia en el diseño de SoC complejos, incluyendo la implementación de complejos protocolos de comunicaciones.
¿Por qué elegir HDL Design House?
Los compiladores más optimizados
Proceso de Diseño de SoCs y FPGAs
Proceso de Verificación de SoCs y FPGAs
•
Diseño a nivel de módulo, IP y diseño de alto nivel de SoC
•
Especificación funcional a nivel conceptual y detallado
•
Desarrollo de código RTL
•
Síntesis, Timing y Optimazción de Potencia
•
Diseño de baja potencia
•
Chequeo de equivalencia de lógica
•
Timing Sign-off
•
Desarrollo e integración usando aserciones
•
Automatic Test Pattern Generation / Design for Test - ATPG/DFT
La Verificación de Soc complejos es la parte más crítica de la Certificación de CEH y sin duda la que más esfuerzo requiere.
Aportamos una metodología que permite optimizar el tiempo de verificación de SoCs, combinando las técnicas de mercado que mejor se adaptan a las necesidades del cliente.
Aportamos una metodología que permite optimizar el tiempo de verificación de SoCs, combinando las técnicas de mercado que mejor se adaptan a las necesidades del cliente.
•
Especificación del Plan de Validación y Prueba
•
Verificación SW/UVC con amplia experiencia en protocolos
•
Verificación basada en Specman para IPs de procesado de imágen
•
Verificación basada en UVM/eRM
•
Análisis y Coverage Closure
•
Verificación de señal mixta
•
Timing Sign-off
•
Uso de herramientas de verificación EDA avanzadas
•
Lenguajes soportados:
•
SystemVerilog
•
e(Specman)
•
SVA
•
PSL
•
VHDL
•
Verilog
•
C, C++, SystemC, Python, Tcl, Perl
Productos
Formación
Contactar
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
and Professional Services
Análisis Estático de Código Fuente y Binario
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Servicios
Gap Analysis
Plantillas para ARP 4754A / ED-79A
Plantillas para DO-178C / ED-12C
Plantillas para DO-254 / ED-80
Plantillas para DO-278A / ED-109A
Soporte a la Certificación DO-178C
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Plantillas para ARP 4754A / ED-79A
Plantillas para DO-178C / ED-12C
Plantillas para DO-254 / ED-80
Plantillas para DO-278A / ED-109A
Soporte a la Certificación DO-178C
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Análisis de Vulnerabilidades Software
