AHMADALIPARR@AHMADALIPARR
An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.
rea-unary: from x86 behaviour to VHDL and formal verification
Stars 1