Проверка без стимули

Напълно автоматично официално приложение за търсене на проблеми, което открива дълбоко скрити проблеми поради често срещани грешки в кодирането в RTL, Formal Inspection дава възможност да се елиминират широк спектър от проблеми без тестова маса.

Анализът на свързаността в рамките на Questa One SFV е напълно автоматизирано решение за изчерпателна проверка на статичната и динамичната свързаност, без да се изисква познаване на официални езици или езици за спецификация на свойствата.

Questa Increase Coverage е автоматично официално решение за постигане на по-бързо затваряне на покритието на кода, което адресира неоспорим факт на проверка: част от непокрит код винаги остава.

Официалните библиотеки VIP AMBA & OnChip подобряват качеството и намаляват графиците, като изграждат експертиза за протоколи и методологии в пакети от твърдения за многократна употреба, които поддържат популярни интерфейси за индустрията, стандартни за индустрията.

Questa One SFV проверката на свойствата изчерпателно открива всички грешки в дизайна, които могат да възникнат, без да се нуждае от специфичен стимул за откриване на проблема. Това гарантира, че провереният дизайн е без проблеми във всички законови сценарии за въвеждане.

Анализът на регистъра Questa One SFV автоматизира изчерпателна проверка на поведението на регистъра за контрол и състояние спрямо спецификацията на регистъра CSV или IP-XACT.

Анализът на сигурността в рамките на Questa One SFV е напълно автоматизирано решение за изчерпателна проверка дали само посочените от вас пътища могат да достигнат до критични за сигурността или безопасността елементи за съхранение.

Questa One SFV RTL Equivalent автоматично сравнява спецификациите RTL и имплементационните RTL кодови блокове, използвайки изчерпателен формален анализ. Не се изисква познаване на официални езици или езици за спецификация на собствеността.

Анализът на X-чувствителността в рамките на Questa One SFV е автоматизирано решение, което изчерпателно изкоренява проблемите с „X“ на ниво RTL без тестова маса.

Решението на Siemens Questa Equivalent FPGA гарантира, че потоците за внедряване на FPGA, като синтез и оптимизация на място и маршрут, не въвеждат функционални грешки.

Проверката на Gap Free оптимизира качеството на цифровите дизайни, като доказва цялата функционалност за всички входни данни, което води до безпрецедентно ниски нива на избягване от проблеми.

Проверката на дизайна на високо ниво с разширяването на Questa HL-SYC помага за премахване на проблеми преди синтеза чрез започване на проверката по-рано в потока.

Questa One SFV Trust Analysis използва автоматизиран анализ за откриване и докладване на опасения за уязвимостта по отношение на сигурността.

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

Анализът Questa One SFV FPU значително свежда до минимум натоварването с проверка, осигурявайки точно подравняване на изпълненията с плаваща точка с желаните резултати.

Анализът на защита от неизправности е решение, базирано на официална технология, което анализира грешките чрез инжектиране и официално проверява резултата от тях за хардуерна сигурност и безопасност.

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