Registro  
Login

Análisis Estático de Código

Desarrollo de Embedded Software


Pruebas de Software y Sistemas

Pruebas de Interfaz Gráfica GUI
Soporte a la Certificación DO-178/254

Soporte a la Certificación ISO-26262

Diseño y Verificación de SoCs y FPGAs

Formación de Certificación DO-178/254

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

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.

¿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 deiseñ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.
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
 
©  2018 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Pruebas dinámicas de Software Embarcado
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies