FormalPro utiliza técnicas estáticas de verificación formal para demostrar que un diseño es funcionalmente idéntico a su referencia dorada. 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 de 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 de verificación formal estáticas. La ruta más rápida para corregir el diseño con una herramienta de depuración integral que identifica la ubicación/causa de los errores y la capacidad única de “qué pasaría si” para investigar las 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 las aplicaciones 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.
