FormalPro utiliza técnicas de verificación formal estáticas para demostrar que un diseño es idéntico desde el punto de vista funcional 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 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 a puerta para la síntesis, las listas de red de puerta a puerta para los giros de diseño. Utilice una sola herramienta y flujo para todos sus diseños.
Verificación rápida de diseños de puertas multimillonarias 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 completa herramienta de depuración 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 en la sesión de verificación existente.
Únase al debate sobre nuevos temas, reportajes, contenido y expertos técnicos.
Acceda a notas detalladas de la solicitud 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.
