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

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

Статьи Чертежи Таблицы О сайте Реклама

События (формальная верификация)

События (формальная верификация) 265  [c.405]

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

Проектирование на ПЛИС архитектура, средства и методы (2007) -- [ c.265 ]


ПОИСК



Верификация

Событие

Формальная верификация



© 2025 Mash-xxl.info Реклама на сайте