Questa One

Компания MediaTek, которая стала одним из первых разработчиков решения Siemens Questa One Smart Verification Solution, уже смогла повысить производительность наших инженеров на протяжении всего процесса верификации, используя технологии формальной верификации и моделирования. Questa One Property Assist использует генеративный искусственный интеллект, чтобы сэкономить недели инженерного времени, а Questa One Regression Navigator предсказывает, какие симуляционные тесты с наибольшей вероятностью окажутся неудачными, запускает их первыми и экономит дни регрессии и отладки.

Растущая сложность проектирования и проверки современных микросхем требует нового поколения интеллектуальных, агентских рабочих процессов, позволяющих решать сложные задачи при сохранении высочайшего уровня точности. Используя модели рассуждений NVIDIA NIM и Nemotron, Siemens предоставляет инженерам мощную основу, основанную на искусственном интеллекте, для ускорения разработки самых передовых электронных систем в мире

Questa One Agentic Toolkit обеспечил мгновенный и существенный прирост производительности. Наши инженеры смогли овладеть навыками за несколько часов, несмотря на то, что до этого инструмент был ограничен: они выполняли задачи, которые обычно занимали несколько дней, и освоили рабочие процессы, обучение которым обычно занимало несколько недель. В сочетании с существующей передовой внутренней методологией верификации MediaTek этот набор инструментов не только устранил пробел в знаниях, но и существенно ускорил наши операционные процессы

Сочетая искусственный интеллект и верификацию, Questa One позволила нашей команде быстро внедрить полную формальную проверку собственности и автоматическое исправление проблем. С помощью Agentic Toolkit мы используем эти возможности на оптимальном этапе процесса разработки.