Questa Equivalent FPGA garantiza que las optimizaciones avanzadas necesarias para alcanzar ambiciosos objetivos de potencia, rendimiento y área no alteren la funcionalidad del diseño.
Al admitir funciones como inferencia de RAM/ROM fija y distribuida, optimización de DSP, recodificación de máquina de estados finitos (FSM) y resincronización de registros, acelera la verificación al reducir la necesidad de simulaciones a nivel de puerta e identificar rápidamente problemas difíciles de detectar en el flujo de implementación. La compatibilidad personalizada con los equipos de los proveedores de FPGA y las optimizaciones específicas de los dispositivos ofrecen una precisión sin precedentes en la identificación de discrepancias de diseño, lo que garantiza que el diseño funcione según lo previsto en todas las fases de síntesis y colocación y ruta (P&R).
¿Por qué elegir Questa Equivalent FPGA para el control de equivalencia?
Funcionalidad, rendimiento y coste mejorados
Questa Equivalent FPGA mejora la calidad de los diseños FPGA al permitir métodos de verificación avanzados para arquitecturas FPGA modernas. Ayuda a reducir los tiempos de verificación y garantizar la corrección funcional incluso después de síntesis complejas y optimizaciones de P&R.
Comprobación completa de RTL en toda la ejecución de la FPGA
Questa Equivalent FPGA garantiza la equivalencia desde la RTL hasta el netlist final, combinando potentes comprobadores combinacionales y secuenciales. Aborda los retos específicos de la FPGA, como el pipelining de registros y la recodificación de FSM, garantizando la coherencia de la implementación.
Detección y depuración de errores más rápida
Con Questa Equivalent FPGA, los modernos flujos de optimización de FPGA pueden verificarse rápidamente e identificar el origen exacto de los errores de implementación, lo que reduce significativamente los ciclos de depuración. Esto acelera el proceso de diseño y minimiza las simulaciones a nivel de puerta.
Integración con herramientas específicas para proveedores
Questa Equivalent FPGA se integra directamente con las herramientas de los principales proveedores de FPGA, incluyendo AMD-Xilinx Vivado, Intel Quartus y Microchip Libero, garantizando un proceso de configuración y verificación sin fisuras con generación automática de scripts y mapeo sin fisuras a la tecnología FPGA elegida.
El flujo de
retargeting Questa Equivalent FPGA ayuda a prolongar la vida útil de los diseños heredados al tiempo que aprovecha los últimos avances de FPGA en rendimiento, eficiencia energética y funciones de seguridad.
¿Quieres saber más sobre Questa Equivalent FPGA?
Descargar la ficha del producto.
Verificación avanzada de implementaciones FPGA
Questa Equivalent FPGA proporciona una cobertura de verificación completa para los diseños FPGA modernos, y admite optimizaciones avanzadas como la inferencia DSP, la recodificación FSM y la inferencia RAM/ROM. Al verificar el flujo de implementación, garantiza que el proyecto mantiene la equivalencia funcional desde la RTL hasta la lista de redes final.
Demostradores combinacionales y secuenciales
Combinando demostradores combinacionales y secuenciales avanzados, esta FPGA Equivalente aborda problemas complejos específicos de la FPGA, como el pipelining de registros, el retiming y el cruce de dominios de reloj. Esto permite un proceso de verificación exhaustivo, que garantiza que las optimizaciones no introducen discrepancias funcionales.
Detección rápidas de errores y debug
Gracias a sus potentes herramientas de depuración, esta FPGA Equivalente identifica y aísla rápidamente los problemas de diseño, proporcionando una resolución específica de los contraejemplos. La visualización gráfica de la interfaz, la detección automática de reinicios y la generación de trazas aceleran el proceso de detección y corrección de errores, reduciendo los cuellos de botella de la verificación.
Apoyo a la optimización específica
Questa Equivalent FPGA se integra perfectamente con las herramientas de los principales proveedores de FPGA, como AMD-Xilinx Vivado, Intel Quartus y Microchip Libero, ofreciendo perfiles específicos de dispositivos. Es compatible con características arquitectónicas avanzadas, lo que permite una verificación eficaz de optimizaciones como el empaquetado de registros, el retiming y la optimización de la potencia.
Simulación minimizada a nivel de puerta
Questa Equivalent FPGA reduce la necesidad de realizar simulaciones a nivel de puerta, que llevan mucho tiempo, mediante la comprobación formal de equivalencias, lo que facilita la verificación de los diseños FPGA sin comprometer la calidad ni aumentar el tiempo de verificación. Esto acorta considerablemente el ciclo global de diseño y verificación.
"Un FPGA equivalente garantiza que las optimizaciones no alteren la funcionalidad del diseño al detectar rápidamente discrepancias durante la síntesis y la colocación y ruta".
Solicita más información o un presupuesto personalizado