@AHMADALIPARR

REA のアイデアをバイナリの先へと拡張する実験：x86 から挙動を復元し、それを VHDL として表現し、形式的に検証する。上流プロジェクトから派生し、それに応じたライセンスの下で提供される。