Безпосередньою проблемою є «спостережливість», коли ви підозрюєте, що винуватцем є певний кластер або IP. Можливість встановити певні початкові умови тестування, зонди та обмежені випадкові стимули для досягнення внутрішніх областей DUT є справжньою проблемою, враховуючи, що SoC знаходиться у своєму повністю реалізованому стані.
Зв'яжіться з нашою командою продажів 1-800-547-3000
Після того, як твердження, що описують бажану поведінку, синтезуються в DUT на платформі апаратної перевірки, програма Questa Post-Silicon Debug використовує офіційну програму Questa Property Checking (PropCheck) для пошуку першопричини спостережуваної невдачі.
Переглянути всі доступні офіційні відеозаписи перевірки на Академія верифікації.
Ми готові відповісти на ваші запитання.
Зв'яжіться з нашою командою продажів 1-800-547-3000
Академія верифікації надає навички, необхідні для дозрівання можливостей функціонального процесу перевірки організації, забезпечуючи методологічний міст між пропозиціями високого рівня цінності та деталями низького рівня.
Розуміння та оновлення концепцій, цінностей, стандартів, методологій та прикладів, щоб допомогти зрозуміти, що можуть зробити передові технології функціональної перевірки та як їх найбільш ефективно застосовувати.
Публікація Verification Horizons містить концепції, цінності, методології та приклади, які допоможуть зрозуміти, що можуть зробити передові технології функціональної перевірки та як їх найбільш ефективно застосовувати.
