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

Огляд

Questa FPU

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


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

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

Формальна перевірка апаратного забезпечення з плаваючою комою IEEE 754

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

Додаток Questa FPU розроблений для забезпечення дотримання графічних процесорів стандарту IEEE 754, який є еталоном точності обчислень з плаваючою комою. Він є ключовим для наукових, аудіо, цифрових та графічних обчислень, де точність є першорядною для різних діапазонів цінностей. Утиліта інструменту поширюється на різноманітне обладнання, включаючи чіпи ASIC та FPGA, які є невід'ємною частиною систем, де безпека не підлягає обговоренню, наприклад, у приладах автомобільних та атомних електростанцій.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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