3 ms·
RISC-V CPU formal specification written on F#. Formalazation of RISC-V ISA architecture.
by mrLSD-dev 3y ago
RISC-V CPU formal specification written on F#. Formalazation of RISC-V ISA architecture.
- thumbuddy 3y agoI know F#, I know roughly what RISC-V is. Not sure I understand the high level though. Is it that they formalized the instructions set in F# or is it that F# now can use the formal instruction set to compile programs? Sorry this isn't my wheelhouse but I am curious.
- mrLSD-dev 3y agoDue to the properties of F# as a functional language, using a pure representation of functions and a strong type system - in this case, this is a formalization of RISC-V ISA (instruction set). Since we don't have side effects for pure functions. As it has a State machine, one fun opportunity is to execute elf-bin files for it for RISC-V architecture. I'm not sure what do you mean "compile programs", because it's not the compiler.
- thumbuddy 3y agoI think the right word would have been 'execute' programs. Not compile. Thanks for explaining.