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

Напълно автоматично официално приложение за търсене на проблеми, което открива дълбоко скрити проблеми поради често срещани грешки в 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 formal технология, която анализира грешките, като ги инжектира и официално проверява резултата от тях за хардуерна сигурност и безопасност.

Analyze Architecture е новаторско решение, което предоставя на потребителя възможност да провери големите хардуерни системи дали отговарят на зададената архитектура.

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