Skip to main content
Esta página se muestra mediante traducción automática. ¿Deseas ver el contenido en inglés?
Funciones 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 van más allá de la cobertura de extensos ciclos de simulación.

La aplicación questa fpu está diseñada para garantizar que las FPU cumplen con el estándar IEEE 754, que es el punto de referencia para la precisión de cálculo en coma flotante. Es fundamental para la informática científica, de audio, digital y gráfica, donde la precisión es primordial en los diversos rangos de valores. La utilidad de la herramienta se extiende a una variedad de hardware, incluidos los chips ASIC y FPGA, que forman parte integral de los sistemas en los que la seguridad no es negociable, como en la instrumentación de la automoción y las centrales nucleares.

  • La gestión de las excepciones es exhaustiva, con comprobaciones de todas las excepciones estándar, como las operaciones no válidas, las divisiones cero y los desbordamientos o subdesbordamientos numéricos.
  • La versatilidad se obtiene al admitir varios modos de redondeo y a la capacidad de gestionar diferentes niveles de precisión, del medio al doble, con opciones de precisiones personalizadas según sea necesario.
  • La aplicación FPU ofrece la flexibilidad de personalizar las comprobaciones de verificación para que se ajusten a las especificaciones de hardware únicas o a las desviaciones estándar intencionadas.
  • 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 con signo y coma flotante, lo que mejora 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 vídeo de verificación formal disponibles en el Academia de verificación.

¿Está listo para hablar con alguien hoy?

Estamos listos para responder a sus preguntas.

Póngase en contacto con nuestro equipo de ventas 1-800-547-3000

Más información

Verification Academy

La Academia de Verificación proporciona las habilidades necesarias para desarrollar las capacidades del proceso de verificación funcional de una organización y proporciona un puente metodológico entre las propuestas de valor de alto nivel y los detalles de bajo nivel.

Blog Verification Horizons

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

Horizontes de verificación

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