Questa One Sim Xact es un innovador análisis formal y automatización de flujo que agiliza la creación de GLS, lo que lleva a una verificación de aprobación mejor y más completa.
Questa One Sim Xact permite una simulación a nivel de puerta mucho más rápida al eliminar automáticamente las molestos X falsas, las condiciones de carrera sin retardo y los errores de modelado de bibliotecas, al tiempo que aísla los problemas de conectividad difíciles de diagnosticar. Además, es compatible con herramientas avanzadas de rastreo de causa raíz X real.
La simulación lógica formal mejorada realiza dinámicamente el análisis del pesimismo X, analiza la propagación X en las datapatías y la lógica de reloj cerrado y las reparaciones sobre la marcha.
El GLS de retardo cero puede demostrar las condiciones de carrera, especialmente en diseños con cronograma cerrado y líneas de retardo. El generador “Pseudo-SDF” resuelve eficientemente los problemas de condición de carrera sin la necesidad de modificar las bibliotecas celulares.
El análisis de propagación de fuerza/liberación confirma cuándo se han optimizado las fuerzas y ya no impulsan ninguna lógica de fanout. El análisis de conectividad encuentra módulos con entradas no impulsadas que están creando X fuentes.
Questa One Sim Xact ofrece una metodología mejorada para llevar a la práctica la simulación a nivel de puerta de manera rápida y sencilla. Su tecnología patentada puede analizar eficazmente una simulación mediante análisis combinatorio para determinar si los valores X en las entradas D de un flip-flop son falsos debido al pesimismo X o reales. Elimina automáticamente las X falsas, lo que permite que la simulación a nivel de puerta produzca los resultados correctos.
Siemens EDA ofrece soporte al cliente de clase mundial para Questa One Sim y todos nuestros productos.
La Academia de Verificación proporciona las habilidades necesarias para madurar las capacidades del proceso de verificación funcional de una organización, proporcionando un puente metodológico entre las propuestas de valor de alto nivel y los detalles de bajo nivel.
Para ayudar con la comprensión de las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva, visite nuestro blog para obtener información y actualizaciones sobre conceptos, valores, estándares, metodologías y ejemplos.
