@AHMADALIPARR

REA의 아이디어를 바이너리 너머로 확장하는 실험: x86에서 동작을 복원한 다음 이를 VHDL로 표현하고 형식적으로 검증한다. 업스트림 프로젝트에서 파생되었으며 그에 따라 라이선스된다.