El procesador Questa garantiza el cumplimiento de los diseños del RISC-V con los requisitos previos funcionales e ISA, acelerando la verificación al eliminar la necesidad de crear bancos de pruebas. Mejora la detección de problemas mediante motores formales eficientes, ya que ofrece automatización sin necesidad de crear un modelo de cobertura funcional.
Póngase en contacto con nuestro equipo de ventas 1-800-547-3000
Diseñado para soportar extensiones personalizadas, el procesador Questa permite la extracción de microarquitecturas, la generación de aserciones y la depuración sin problemas con un mejor análisis de anotaciones y trazas del desensamblador.
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.
