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 de plena realización.
Póngase 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 integrado en la plataforma de verificación asistida por hardware, la aplicación Questa Post-Silicon Debug aprovecha la aplicación Questa Property Checking (PropCheck) de base formal para buscar la causa principal del error observado.
Vea todas las grabaciones de vídeo de verificación formal disponibles en el Academia de verificación.
Estamos listos para responder a sus preguntas.
Póngase en contacto con nuestro equipo de ventas 1-800-547-3000
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.
Información y actualizaciones sobre conceptos, valores, normas, metodologías y ejemplos para ayudar a entender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de la manera más eficaz.
La publicación Verification Horizons ofrece conceptos, valores, metodologías y ejemplos para ayudar a entender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de la manera más eficaz.
