Questa One Sim Xact es una innovadora automatización formal de análisis y flujos que agiliza la apertura del GLS y, por lo tanto, permite una verificación de firma mejor y más completa.
Questa One Sim Xact permite una simulación mucho más rápida a nivel de puerta al eliminar automáticamente las molestas falsas X, las condiciones de carrera sin retrasos y los errores de modelado de la biblioteca, al tiempo que aísla los problemas de conectividad difíciles de diagnosticar. Además, es compatible con herramientas avanzadas de rastreo de la causa raíz de X real.
La simulación lógica mejorada formal realiza de forma dinámica el análisis del pesimismo X, analiza la propagación X en las rutas de datos y la lógica del reloj cerrado y la repara sobre la marcha.
El GLS sin retrasos puede demostrar las condiciones de la carrera, especialmente en diseños con líneas cerradas de cronometraje y retraso. El generador «pseudoSDF» resuelve de forma eficaz los problemas de condiciones de carrera sin necesidad de modificar las bibliotecas de móviles.
El análisis de propagación de fuerza/liberación confirma cuando las fuerzas se han optimizado y ya no impulsan ninguna lógica de despliegue. El análisis de conectividad encuentra módulos con entradas no controladas que crean X fuentes.
Questa One Sim Xact ofrece una metodología mejorada para realizar la simulación a nivel de puerta de forma rápida y sencilla. Su tecnología patentada puede analizar eficazmente una simulación mediante el análisis combinatorio para determinar si los valores X en las entradas D de una chancla son falsos debido al pesimismo X o reales. Elimina automáticamente las X falsas, que permiten que la simulación a nivel de puerta produzca los resultados correctos.
La EDA de Siemens ofrece un servicio de atención al cliente de primera clase para Questa One Sim y todos nuestros productos.
La Academia de Verificación proporciona las habilidades necesarias para desarrollar las capacidades del proceso de verificación funcional de una organización y proporciona un puente metodológico entre las propuestas de valor de alto nivel y los detalles de bajo nivel.
Para ayudar a entender las tecnologías avanzadas de verificación funcional y cómo aplicarlas de la manera más eficaz, visite nuestro blog para obtener información y actualizaciones sobre conceptos, valores, normas, metodologías y ejemplos.
