Додаток Questa Check Register читає у вашому RTL та файлах опису реєстру, автоматично створює необхідні твердження, а потім офіційно перевіряє їх. Знання формальних мов або мов специфікації властивостей не потрібно.
Зв'яжіться з нашою командою продажів 1-800-547-3000
Додаток Questa Check Register - це повністю автоматизоване рішення для вичерпної перевірки поведінки реєстру контролю та статусу відповідно до специфікації вашого реєстру CSV або IP-XACT. Знання формальних мов або мов специфікації властивостей не потрібно.
Переглянути всі доступні офіційні відеозаписи перевірки на Академія верифікації.
Ми готові відповісти на ваші запитання.
Зв'яжіться з нашою командою продажів 1-800-547-3000
Академія верифікації надає навички, необхідні для дозрівання можливостей функціонального процесу перевірки організації, забезпечуючи методологічний міст між пропозиціями високого рівня цінності та деталями низького рівня.
Розуміння та оновлення концепцій, цінностей, стандартів, методологій та прикладів, щоб допомогти зрозуміти, що можуть зробити передові технології функціональної перевірки та як їх найбільш ефективно застосовувати.
Публікація Verification Horizons містить концепції, цінності, методології та приклади, які допоможуть зрозуміти, що можуть зробити передові технології функціональної перевірки та як їх найбільш ефективно застосовувати.
