Skip to main content
Цю сторінку перекладено автоматично. Перейти натомість до англійської версії?

Огляд

Questa Analyze Architecture

Analyze Architecture - це новаторське рішення, яке надає користувачеві можливість перевіряти великі апаратні системи, що робить його ідеальним інструментом для доведення структурних властивостей логічних функцій, а також забезпечує подальшу перевірку функціональних властивостей у цих великих системах


Зв'яжіться з нашою командою продажів 1-800-547-3000

Інженер використовує Questa Analyze Architecture на своєму робочому столі
Ключові особливості

Цей движок Analyze Architecture

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

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

  • Невідомі шляхи управління, що живлять передбачувану функцію або пом'якшення.
  • Шляхи виходу, де мережі та логічні елементи в передбачаній функції уникають і обходять пом'якшення.

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

Рекомендовані білі документи

Формальна перевірка

Майбутні та на вимогу події

Переглянути всі доступні офіційні відеозаписи перевірки на Академія верифікації.

Готові сьогодні поговорити з кимось?

Ми готові відповісти на ваші запитання.

Зв'яжіться з нашою командою продажів 1-800-547-3000

Дізнатися більше

Академія верифікації

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

Перевірка блогу Горизонти

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

Перевірка горизонтів

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