Skip to main content
Para mostrar esta página se usa traducción automática. ¿Ver en inglés en su lugar?
CARACTERÍSTICAS CLAVE

Mejore la función, el rendimiento y el costo

este equivalente fpga permite mejoras en funcionalidad, performance y costo con confianza en la implementación. El tiempo de verificación se reduce mediante la minimización de la simulación a nivel de puerta y la identificación rápida de problemas de flujo de implementación difíciles de detectar.

este equivalente fpga (arreglo de puerta programable en campo) proporciona verificación de equivalencia para los flujos de implementación FPGA mediante la combinación de probadores combinacionales y secuenciales avanzados que están diseñados para abordar los complejos desafíos de las arquitecturas FPGA y la síntesis/P&R (lugar y ruta) optimizaciones de flujo. La creación de perfiles específicos del dispositivo y las integraciones directas con las herramientas de diseño del proveedor FPGA configuran los pasos de configuración, mapeo y comparación para adaptarse a los desafíos de comparación únicos de la tecnología FPGA seleccionada.

Soporta funciones avanzadas de síntesis y optimización FPGA que incluyen:

  • Inferencia RAM/ROM fija y distribuida y embalaje de registro
  • Optimizaciones DSP (procesadores de señal digital)
  • Recodificación de FSM (máquina de estado finito)
  • Registrar canalización y resincronización
  • Optimizaciones de energía
Verificación formal

Libros blancos destacados

Verificación formal

Próximos eventos y bajo demanda

Vea todas las grabaciones de video de verificación formal disponibles en Academia de Verificación.

¿Listo para hablar con alguien hoy?

Estamos esperando para responder a sus preguntas.

Ponte en contacto con nuestro equipo de ventas 1-800-547-3000

Más información

Academia de Verificación

Verification Academy proporciona las habilidades necesarias para madurar las capacidades del proceso de verificación funcional de una organización, proporcionando un puente metodológico entre las propuestas de valor de alto nivel y los detalles de bajo nivel.

Blog de Verification Horizons

Información y actualizaciones sobre conceptos, valores, estándares, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.

Horizontes de verificación

La publicación Verification Horizons proporciona conceptos, valores, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.