Подход к решению задачи аппаратной верификации ПЛИС в рамках стандарта DO-254доклад на конференции