FormalPro използва статични техники за формална проверка, за да докаже, че дизайнът е функционално идентичен със златната му референция. Това е с порядък по-бързо от традиционната симулация на ниво порта - дизайните, които отнемат дни или седмици, могат да бъдат проверени в часове или дори минути с помощта на FormalPro.
Бързо докажете, че дизайнът е функционално идентичен - сравнете RTL с мрежовия списък за синтез, мрежови листове от порта до врата за завъртане на оформлението. Използвайте един инструмент и поток за всичките си дизайни.
Бърза проверка на многомилионни дизайни на портите и драматично намаляване на времето за проверка с помощта на статични техники за формална проверка. Най-бързият маршрут за коригиране на дизайна с цялостен инструмент за отстраняване на грешки, който идентифицира местоположението/причината за грешките и уникалната възможност „какво ако“ за изследване на модификациите на дизайна в рамките на съществуващата сесия за проверка.
Присъединете се към дискусията по нови теми, функции, съдържание и технически експерти.
Достъп до подробни бележки за потребителските приложения, ресурси за обучение и др.
Помага ви да постигнете максимално въздействие върху бизнеса чрез справяне със сложни технологични и корпоративни предизвикателства с уникална комбинация от опит в развитието и дизайна и експертиза по методологията.
