ПОИСК Статьи Чертежи Таблицы Формальная верификация из "Проектирование на ПЛИС архитектура, средства и методы " Несмотря на то что большие компьютерные компании и производители микросхем, такие как IBM, Intel и Motorola, десятилетиями разрабатывают и используют свои средства формальной верификации (примерно с середины 80-х), для большинства людей эта область тестирования всё же является новой. Особенно это касается ПЛИС, где применение формальной верификации отстаёт от заказных микросхем. Следует заметить, что формальная верификация может быть настолько мощным средством, что всё больше и больше людей начинают воспринимать её всерьез. [c.262] Попытка распутать этот клубок окажется трудноразрешимой задачей, если вообще разрешимой. Однако, как любил говаривать мой дед. [c.262] Я убедился в этом на собственном горьком опыте. [c.262] Вернуться к основной статье