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

Descripción general

Questa FPU

La aplicación Questa FPU minimiza significativamente la carga de trabajo de verificación, asegurando una alineación precisa de las implementaciones de punto flotante con los resultados deseados. Su implementación es sin complicaciones, con bloques de verificación fácilmente disponibles y funcionalidades de depuración integradas.


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

La ingeniera está usando Questa FPU en su escritorio
Características clave

Verificación formal del hardware de punto flotante IEEE 754

Un enfoque eficaz de detección de problemas, que niega la necesidad de crear modelos de referencia, bancos de pruebas o casos de prueba. La tecnología formal subyacente infunde confianza a través de pruebas concluyentes que se extienden más allá de la cobertura de ciclos de simulación extensos.

La aplicación Questa FPU está diseñada para garantizar que las FPUs se adhieran al estándar IEEE 754, que es el punto de referencia para la precisión de cálculo de punto flotante. Es fundamental para la informática científica, de audio, digital y gráfica, donde la precisión es primordial en diversos rangos de valor. La utilidad de la herramienta se extiende a una variedad de hardware, incluidos chips ASIC y FPGA, que son integrales en sistemas donde la seguridad no es negociable, como en la instrumentación de plantas de energía nuclear y automotriz.

  • El manejo de excepciones es minucioso, con comprobaciones para todas las excepciones estándar, como operaciones no válidas, cero divisiones y desbordamientos o desbordamientos numéricos.
  • La versatilidad se proporciona a través del soporte para varios modos de redondeo y la capacidad de manejar diferentes niveles de precisión desde la mitad hasta el doble, con opciones para precisiones personalizadas según sea necesario.
  • La aplicación FPU ofrece la flexibilidad de personalizar las comprobaciones de verificación para alinearlas con especificaciones de hardware únicas o desviaciones estándar intencionales.
  • Las funciones de conversión incluidas en la aplicación facilitan la transición entre diferentes formatos de punto flotante y entre números enteros de punto flotante y con signo, mejorando su aplicabilidad en diferentes escenarios computacionales.
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

Obtenga 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.