FormalPro utiliza técnicas estáticas de verificación formal para demostrar que un diseño es funcionalmente idéntico a su referencia de oro. Esto es órdenes de magnitud más rápido que la simulación tradicional a nivel de puerta: los diseños que tardan días o semanas se pueden verificar en horas o incluso minutos usando FormalPro.
Demuestra rápidamente que un diseño es funcionalmente idéntico: compare RTL con la lista de redes de puerta para la síntesis, listas de red puerta a puerta para giros de diseño. Utilice una herramienta y flujo para todos sus diseños.
Verificación rápida de diseños de puertas multimillonarias y reducción drástica en el tiempo de verificación mediante técnicas estáticas de verificación formal. La ruta más rápida para corregir el diseño con una herramienta de depuración completa que identifica la ubicación/causa de los errores y la capacidad única de “qué pasaría si” para investigar modificaciones de diseño dentro de la sesión de verificación existente.
Únase a la discusión sobre nuevos temas, características, contenido y expertos técnicos.
Acceda a notas detalladas de la aplicación del usuario, recursos de capacitación y más.
Ayudarle a lograr el máximo impacto en el negocio al abordar complejos desafíos tecnológicos y empresariales con una combinación única de experiencia en desarrollo y diseño y experiencia en metodología.
