El Questa Processor garantiza el cumplimiento de los diseños RISC-V con ISA y requisitos previos funcionales, acelerando la verificación al eliminar la necesidad de crear banco de pruebas. Mejora la detección de problemas a través de motores formales eficientes, ofreciendo automatización sin requerir la creación de modelos de cobertura funcional.
Ponte en contacto con nuestro equipo de ventas 1-800-547-3000
Diseñado para soporte de extensiones personalizadas, el Questa Processor permite la extracción de microarquitectura, la generación de aserciones y la depuración sin problemas con anotación mejorada del desensamblador y análisis de trazas.
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.
