Формальной верификации выводов

Разумеется, утверждения и свойства могут быть связаны с устройством на любом уровне, т. е. могут относиться к отдельным блокам, к нескольким соединённым по какому-либо интерфейсу блокам или ко всей системе. Эта особенность предусматривает важную процедуру, которая называется повторная верификация. До появления формальной верификации повторная верификация использовалась довольно редко. Например, при продаже ядро 1Р обычно снабжается соответствующими средствами тестирования, которые анализируют сигналы ввода/вывода непосредственно на его входах и выходах. Эти средства позволяют проверять отдельное ядро, но как только ядро будет интегрировано в устройство, поставляемые с ним средства тестирования становятся бесполезными. [c.264]

Существуют два основных типа формальной верификации — автоматизированная формулировка логических выводов и верификация модели. Верификация модели представляет собой метод анализа пространства состояния системы для проверки некоторых свойств, обычно называемых утверждениями . Одной из разновидностей верификации моделей является проверка на эквивалентность, которая [c.322]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...