Досягнення швидшого закриття верифікації дизайну

У великих проектах з розробки чіпів зусилля з перевірки логіки можуть бути більшими, ніж зусилля з проектування, займаючи до 70% часу проекту на основі даних з 2022 Дослідницька група Вілсона висновки. На жаль, за останні 31 років показник успіху першого кремнію знизився з 24 відсотка до лише 8 відсотків, що призвело до ще одного спроби виправити недоліки, що коштувало компаніям втрати часу на вихід на ринок і, безумовно, зашкодило їхнім планам доходів. Краща перевірка, безсумнівно, покращить успіх першого кремнію, але це легше сказати, ніж зробити.

Деякі інші протверезні цифри з дослідження Wilson Research Group:

• ASIC – 24% першого успіху, 36% завершення вчасно
• FPGA – 16% досягають нульового виходу помилок, 30% закінчують вчасно

Перевірка дизайну має багато складних завдань: налагодження, створення тестів, а потім запуск механізмів, розробка тестового стенду та планування тестування. В ідеалі ваша команда хоче мінімізувати час виконання робіт, досягти завершення верифікації з найменшою кількістю людей і обчислювальних ресурсів, відповідати вимогам безпеки та знати, коли якість дизайну буде достатньо високою, щоб припинити перевірку, дотримуючись графіку проекту.

Нещодавно я отримав оновлену інформацію від експерта з перевірки дизайну Даррона Мея з Siemens EDA, щоб почути про щойно оголошену подію Questa Verification IQ. Їхній підхід полягає в керованій даними верифікації, сформованій на основі відстеження, співпраці та аналітики на основі AI/ML. Традиційна аналітика забезпечувала обмежену продуктивність і розуміння просто опису та діагностики логічної поведінки, тоді як аналітика на основі великих даних із використанням AI/ML пропонує прогнозні та директивні дії для перевірки. Команди програмного та апаратного забезпечення стають більш продуктивними завдяки співпраці за допомогою використання CI (безперервна інтеграція), Перевірений методи, ALM (Керування життєвим циклом додатків), хмарний дизайн і застосування методів AI/ML. У галузях, які мають важливе значення для безпеки, потрібна відстежуваність між вимогами, впровадженням і перевіркою, як це визначено в таких галузевих стандартах, як ISO 26262 і DO-254.

Ось загальна картина того, як Quest Verification IQ об’єднує всі дані з різних механізмів перевірки в керований даними потік разом із інструментом ALM.

Дані покриття збираються з логічного моделювання (це), емуляція та створення прототипів (Велоче), AMS (Symphony), формальний (OneSpin), Static і FuSa. Функція ML аналізує всі ці дані, щоб передбачити закономірності та виявити будь-які прогалини, вказати основні причини, а потім призначити дії для покращення покриття. Показаний ALM є Поляріон від Siemens, хоча ви можете використовувати інший ALM, так само як ви можете використовувати ваші улюблені механізми перевірки.

Questa Verification IQ — це платформа на основі веб-переглядача, яка містить інструкцію з процесу, щоб ви могли створити критично важливий потік безпеки, використовуючи керування життєвим циклом для планування та відстеження всіх вимог. Навігатор регресії дозволяє вашій команді створювати та виконувати тести, відстежувати результати та мати повну історію перевірок. За допомогою аналізатора покриття ви знаєте, наскільки повним є ваше покриття для коду, функціональних блоків і планів тестування. Нарешті, представлена ​​аналітика даних надає вам метричну платформу, використовуючи інформаційні панелі проекту та надаючи перехресну аналітику.

Веб-платформа масштабується для будь-якого розміру електронного проекту, і вам не доведеться встановлювати будь-яке програмне забезпечення або турбуватися про те, щоб ваша ОС була оновлена. Він також підтримує публічні, приватні або гібридні хмарні налаштування. Із застосуванням штучного інтелекту/ML процес закриття верифікації пришвидшується, а робота з усунення помилок прискорюється, оскільки аналіз першопричин допомагає визначити, де потрібно покращити.

Я поставив Даррону Мею кілька уточнюючих запитань.

З: Чи можу я поєднувати Questa Verification IQ з будь-яким інструментом постачальника EDA та ALM?

A: Questa Verification IQ підтримує інструменти та механізми ALM за допомогою стандартного підходу. Він взаємодіє з інструментами ALM за допомогою Open Services for Lifecycle Collaboration (OSLC), тому можна використовувати будь-який інструмент, що підтримує стандарт, наприклад Doors next або Siemens Polarion і Teamcenter. Questa Verification IQ може запустити будь-який механізм, і знову ми маємо підтримку для покриття через стандарт сумісності Unified Coverage Interoperability Standard (UCIS).

З: Як цей підхід відрізняється від Synopsys DesignDash?

A: Synopsys DesignDash зосереджено на ML для проектних даних, тоді як Questa Verification IQ зосереджено на верифікації на основі даних із використанням аналітики, включаючи ML, щоб прискорити завершення перевірки, скоротити час виконання та забезпечити максимальну ефективність процесу. Questa Verification IQ надає програми, необхідні для командного спільного керування перевіркою в інфраструктурі на основі браузера з централізованим доступом до даних.

З: Як цей підхід порівнюється з Cadence Verisium?

A: Cadence Verisium зосереджується лише на перевірці за допомогою ML. Для порівняння Siemens Questa Verification IQ надає комплексне рішення для перевірки на основі даних, яке підтримує аналітику, співпрацю та відстеження. Управління перевіркою надається в інструменті на основі браузера з програмами, створеними навколо Collaboration. Coverage Analyzer пропонує перший у галузі інструмент для спільного закриття покриття за допомогою аналітичної навігації за допомогою ML. Question Verification IQ взаємодіє з Siemens Polarion за допомогою OSLC і забезпечує точне відстеження цифрових потоків за допомогою Application Lifecycle Management без зміни контексту інтерфейсу користувача, переносячи потужність ALM у апаратну перевірку.

Підсумки

Мене завжди вражають нові інструменти EDA, які полегшують складне завдання, працюючи розумніше, не вимагаючи від інженерів докладати більше годин ручних зусиль. Завдяки ранній підтримці Questa Verification IQ такими відомими компаніями, як Arm і Nordic Semiconductor, схоже, Siemens EDA додала щось переконливе для команд верифікації.

Блоги, пов'язані

Поділитися цим дописом через:

• Розповсюдження контенту та PR на основі SEO. Отримайте посилення сьогодні.
• Платоблокчейн. Web3 Metaverse Intelligence. Розширені знання. Доступ тут.
• джерело: https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/