Формальная верификация аппаратуры: задачи и методыдоклад на конференции