FormalPro utiliza técnicas de verificación formal estáticas para demostrar que un diseño es funcionalmente idéntico a su referencia dorada. Esto es mucho 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 con FormalPro.
Demuestre rápidamente que un diseño es idéntico desde el punto de vista funcional: compare RTL con la lista de redes de puerta para la síntesis, y listas de red de puerta a puerta para los giros de diseño. Use una sola herramienta y fluya para todos sus diseños.
Verificación rápida de diseños de puertas multimillonarios y reducción drástica del tiempo de verificación mediante técnicas de verificación formal y estática. La ruta más rápida para corregir el diseño con una herramienta de depuración integral que identifica la ubicación y la causa de los errores y la capacidad única de «qué pasaría si» para investigar las modificaciones del diseño dentro de la sesión de verificación existente.
Únase al debate sobre nuevos temas, funciones, contenido y expertos técnicos.
Acceda a notas detalladas sobre las aplicaciones de usuario, recursos de formación y mucho más.
Le ayudamos a lograr el máximo impacto empresarial al abordar los complejos desafíos tecnológicos y empresariales con una combinación única de experiencia en desarrollo y diseño y conocimientos metodológicos.
