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