Всем добра!
Собираемся приступить к этому (не уверен, что нужному, но мимо стандарта не попрёшь) делу.
У кого-то есть опыт использования инструментов от, например, Aldec (по-моему, ещё Mentor умеет, но сходу не нашёл)?
Чтобы сразу обозначить задачу, скажу, что для того, чтобы, в соответствии с вышеупомянутыми стандартами верифицировать (прошивку) ПЛИС, её "окружают" другой ПЛИС, которая, в свою очередь, вкупе с ПО, тестирует первую.
Если грубо, то так. Если у кого есть чего конкретного сказать, я бы послушал.
Все материалы с сайта Aldec по теме выкачал: буду курить..