El desafío inmediato es la “observabilidad” cuando sospecha que un determinado clúster o IP es el culpable. La capacidad de configurar condiciones de prueba iniciales particulares, sondas y estímulos aleatorios restringidos para llegar a las áreas internas del DUT es un verdadero desafío dado que el SoC está en su estado completamente realizado.
Ponte en contacto con nuestro equipo de ventas 1-800-547-3000
Una vez que las afirmaciones que describen los comportamientos deseados se sintetizan en el DUT a bordo de la plataforma de verificación asistida por hardware, la aplicación Questa Post-Silicon Debug aprovecha la aplicación Questa Property Checking (PropCheck) basada en formato formal para realizar la búsqueda de la causa raíz de la falla observada.
Vea todas las grabaciones de video de verificación formal disponibles 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.
