Questa One Sim Xact е иновативен формален анализ и автоматизация на потока, който рационализира въвеждането на GLS, което води до по-добра и по-пълна проверка на подписването.
Questa One Sim Xact позволява много по-бързо въвеждане на симулация на ниво порта чрез автоматично елиминиране на досадните фалшиви Xs, състезателни условия с нулево забавяне и грешки в моделирането на библиотеките, като същевременно изолира трудно диагностицирани проблеми със свързаността. Плюс това, той поддържа усъвършенствани инструменти за проследяване на истински X основни причини.
Формално подобрената логическа симулация динамично извършва анализ на Х-песимизъм, анализира разпространението на X в датапати и затворена часовникова логика и поправя в движение.
GLS с нулево забавяне може да демонстрира условия на състезание, особено в дизайни със затворени тактови линии и забавяне. Генераторът „псевдо-SDF“ ефективно решава проблеми с условията на раса, без да е необходимо да се променят клетъчните библиотеки.
Анализът на разпространението на силата/освобождаване потвърждава, когато силите са оптимизирани и вече не задвижват никаква логика на фанаут. Анализът на свързаността намира модули с неуправляеми входове, които създават X източници.
Questa One Sim Xact предоставя подобрена методология за бързо и лесно създаване на симулация на ниво порта. Неговата патентована технология може ефективно да анализира симулация, използвайки комбинаторен анализ, за да определи дали стойностите на X при D-входове на флип-флоп са фалшиви поради Х-песимизъм или реални. Той автоматично елиминира фалшивите X, които позволяват на симулацията на ниво порта да даде правилните резултати.
Siemens EDA предлага поддръжка на клиенти от световна класа за Questa One Sim и всички наши продукти.
Академията за проверка предоставя уменията, необходими за усъвършенстване на функционалните възможности на процеса на проверка на организацията, осигурявайки методологичен мост между предложенията за стойност на високо ниво и детайлите на ниско ниво.
За да помогнете за разбирането на модерните технологии за функционална проверка и как да ги приложите най-ефективно, посетете нашия блог за информация и актуализации на концепции, ценности, стандарти, методологии и примери.
