Доверие, но утверждение документа: аудит почитаемых АИ планов проверки RTL на санкционируемых гарантиях безопасности и регулирования

arXiv:260919844v1 Тип уведомления: перекрестное резюме: составленные АИ планы проверки RTL могут удовлетворить схему поставщика, но не справляются на границе доверенного исполнения. Мы представляем SecTB-RTL, поддающуюся проверке систему, охватывающую 31 задачу и 124 авторизованные регрессии в области безопасности аппаратных средств. В результате применения детерминистского подхода, не относящегося к категории АИ, погибло 36, 75 и 78 мутантов при увеличении лимита ресурсов. Первая проверка (C1-R2) не состоялась до выполнения модели, поскольку поставщик отклонил свою схему ответа. После ремонта только схемы, выполненного без просмотра результатов, отдельно замороженный последующий прогон (C1-R3) завершил 1860 звонков. Поставщик принял 1857 ответов, но только девять из них прошли проверку на семантическое соответствие производства. Правила, касающиеся поколения и исполнения, не совпадают. Таким образом, мы сохраняем эту операцию в качестве инцидента с утверждением приборов и не представляем никакой оценки быстрого воздействия. Этот инцидент свидетельствует о том, что согласие поставщика или схема принятия не устанавливают действительности исполнения. Компиляция и охват являются лишь диагностикой;