Безкоштовна перевірка стимулів

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

Questa Check Connect додаток - це повністю автоматизоване рішення для вичерпної перевірки статичного та динамічного зв'язку без необхідності знання формальних мов або мов специфікації властивостей.

Questa Increase Coverage це автоматичне формальне рішення для швидшого закриття покриття коду, яке усуває незаперечний факт перевірки: деяка частина нерозкритого коду завжди залишається.

Бібліотеки Questa Formal VIP AMBA & OnChip покращують якість та скорочують графіки, створюючи досвід протоколів та методології в пакети тверджень багаторазового використання, які підтримують популярні галузеві стандартні інтерфейси.

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

Questa Check Register додаток автоматизує вичерпну перевірку поведінки реєстру контролю та статусу відповідно до специфікації реєстру CSV або IP-XACT.

Questa Verify Secure додаток - це повністю автоматизоване рішення для вичерпної перевірки того, що лише вказані вами шляхи можуть досягати елементів зберігання, критично важливих для безпеки або безпеки.

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

Questa Check X це автоматизована програма, яка вичерпно викорінює проблеми «X» на рівні RTL без тестового стенду.

Сіменс Questa Equivalent FPGA рішення гарантує, що потоки впровадження FPGA, такі як синтез та оптимізація місця та маршруту, не вводять функціональних помилок.

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

Верифікація дизайну високого рівня за допомогою розширення Questa HL-SYC допомагає усунути проблеми перед синтезом, розпочинаючи перевірку раніше в процесі потоку.

Questa Verify Trust використовує автоматичний аналіз для виявлення та повідомлення про проблеми вразливості щодо безпеки.

Забезпечує відповідність конструкцій RISC-V ISA та функціональним передумовам, прискорюючи перевірку за рахунок усунення необхідності створення тестового стенду.

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

Questa Analyze Fault додаток - це рішення, засноване на формальній технології Questa, яка аналізує несправності шляхом їх введення та офіційно перевіряє їх результат на апаратну безпеку та безпеку.

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

Додаток Questa Post Silicon Debug використовує формальний аналіз та синтез властивостей, щоб швидко усунути проблеми в логіці глибоко в SoC та довести, що виправлення нічого іншого не порушать.