@AHMADALIPARR

把 REA 的概念延伸到二進位之外的實驗：從 x86 還原行為、改寫成 VHDL 並做形式驗證；衍生自上游專案並沿用其授權。