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