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