Questa One

Como uno de los primeros influenciadores en Siemens Questa One Smart Verification Solution, MediaTek ya ha podido aumentar la productividad de nuestros ingenieros en todo el proceso de verificación utilizando tecnologías formales de verificación y simulación. Questa One Property Assist utiliza IA generativa para ahorrarnos semanas de tiempo de ingeniería, y Questa One Regression Navigator predice qué pruebas de simulación tienen más probabilidades de fallar, las ejecuta primero y ahorra días de regresión y tiempo de depuración.

La creciente complejidad del diseño y la verificación de chips modernos requiere una nueva generación de flujos de trabajo inteligentes y agenciales que puedan razonar a través de tareas complejas mientras se mantienen los más altos niveles de precisión. Al aprovechar los modelos de razonamiento NVIDIA NIM y Nemotron, Siemens proporciona a los ingenieros una base poderosa basada en IA para acelerar el desarrollo de los sistemas electrónicos más avanzados del mundo

Las ganancias de productividad ofrecidas por Questa One Agentic Toolkit fueron inmediatas y significativas, nuestros ingenieros pudieron llegar a ser competentes en cuestión de horas, a pesar de la limitada exposición previa a la herramienta: completar tareas que normalmente requieren días y dominar flujos de trabajo que generalmente requieren semanas de training. En combinación con la metodología avanzada de verificación interna existente de MediaTek, el conjunto de herramientas no solo colmó la brecha de conocimiento, sino que aceleró fundamentalmente nuestros procesos operativos

Combinando IA y verificación, Questa One permitió a nuestro equipo adoptar rápidamente la verificación formal de propiedad completa y solucionar problemas automáticamente. Con el Agentic Toolkit, aprovechamos estas capacidades en el punto óptimo de nuestro flujo de desarrollo.