Hacker News new | ask | show | jobs
by mrLSD-dev 1057 days ago
RISC-V CPU formal specification written on F#. Formalazation of RISC-V ISA architecture.
1 comments
thumbuddy 1057 days ago
I 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.

link
mrLSD-dev 1057 days ago
Due 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.

link
thumbuddy 1057 days ago
I think the right word would have been 'execute' programs. Not compile.

Thanks for explaining.

link