• Techical Area:
  • Área del proyecto:
  • Duración:
  • Puntuación media:

Safety Critical FPGA Design Flow

  • Deja una opinión
Play
Compartir

ReqTracer conecta, gestiona y permite realizar la trazabilidad de los requisitos de hardware desde múltiples fuentes a lo largo del proceso de diseño FPGA. Esta herramienta proporciona de manera sencilla la documentación y los informes necesarios en cada fase y gestiona el impacto de posibles cambios en los requisitos. Un diseño puede considerarse completo solo cuando los resultados de funcionalidad y verificación satisfacen plenamente los requisitos. Esto es importante en cualquier caso pero, sobre todo, en las aplicaciones críticas para la seguridad, como en el caso de los programas DO-254, donde los estándares de codificación HDL deben documentarse, seguirse y revisarse. Un enfoque automatizado garantiza una evaluación más coherente del código RTL gracias a herramientas como HDL Designer (Designchecker).

En los proyectos grandes, las ejecuciones de simulaciones han aumentado enormemente. Con las herramientas Equivalence Checking es posibles emplear técnicas estáticas de verificación para comprobar si dos representaciones de un proyecto digital son una combinación funcional exacta. Este tipo de verificación en cientos de veces más veloz que una simulación gate. Por este motivo, permite realizar entregas respetando los plazos, a la vez que sin errores y conformes con los estándares de seguridad.

Vídeo en inglés.

No hay opiniones sobre Safety Critical FPGA Design Flow
Deja una opinión

Opiniones sobre Safety Critical FPGA Design Flow

No hay opiniones sobre Safety Critical FPGA Design Flow
Scroll to top