@AHMADALIPARR

一项将 REA 的理念扩展到二进制之外的实验：从 x86 中恢复行为，然后将其表达为 VHDL 并进行形式化验证；派生自上游项目并按其许可发布。