SoK: ARCUS: On the Efficiency and Efficacy of Hardware Fuzzing
本文是一篇关于硬件模糊测试（Hardware Fuzzing）的系统性综述（SoK），旨在系统化梳理当前硬件模糊测试技术在三个主要抽象层次上的研究现状与挑战，这三个层次分别是指令集架构（ISA）、微架构（Microarchitecture）
#isa
共收录 2 条相关情报。
← 返回所有主题Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
本文提出 Granite，一种用于对 RTL 级处理器设计进行模块化形式验证的方法论，旨在同时验证功能正确性和非泄漏性（nonleakage）。基于 ISA 泄漏契约，Granite 证明了带有推测执行、精确中断和 I/O 的流水线 RIS