ПОИСК Статьи Чертежи Таблицы Альтернативные методы описания утвержденийсвойств из "Проектирование на ПЛИС архитектура, средства и методы " Получив общее представление о верификации модели (Model he king), можно поговорить о терминах и определениях. Честно говоря, эти понятия пока представляют собой мало исследованную область и были тщательно отобраны в процессе общения со многими людьми. Другими словами, была сделана попытка отделить зерна от плевел. [c.265] Термин утверждение пришел из области моделирования и означает специфическое функциональное поведение устройства, которое желательно наблюдать в процессе моделирования, и сигнализирует об ошибке, если такое утверждение срабатывает . [c.265] В наши дни при использовании формальных методов и средств моделирования в унифицированных средах термины свойство и утверждение взаимозаменяемые, т. е. свойство может выступать в качестве утверждения и наоборот. В общем случае под понятием свойство/утверждение мы понимаем формулирование специфических атрибутов, связанных с допустимым устройством или объектом. Таким образом, свойства/утверждения могут использоваться в качестве средств проверки и (или) наблюдения или в качестве объектов формальных доказательств, а часто для выявления и локализации недопустимого поведения устройства. [c.265] Вот с этого места и начинается полная неразбериха, потому что, как будет показано, существует множество способов реализации утверждений/свойств, описывающих устройство. [c.266] Вернуться к основной статье