Questa CDC identifica errores mediante el análisis estructural para reconocer dominios de reloj, sincronizadores y estructuras de baja potencia a través del Formato Unificado de Energía (UPF). Genera aserciones para la verificación del protocolo junto con modelos de metaestabilidad para la verificación de reconvergencia.
Ponte en contacto con nuestro equipo de ventas: 1-800-547-3000
Usando solo su RTL (y el archivo de intención de energía UPF), las soluciones de Questa CDC generan y analizan automáticamente aserciones para identificar rápidamente los problemas de cruce de dominio del reloj (CDC) que matan los chip.
Vea todas las grabaciones de video disponibles de CDC, Lint y RDC en Academia de Verificación.
Estamos esperando para responder a sus preguntas.
Ponte en contacto con nuestro equipo de ventas 1-800-547-3000
Verification Academy 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.
Información y actualizaciones sobre conceptos, valores, estándares, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.
La publicación Verification Horizons proporciona conceptos, valores, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.
