New open source F# RISC-V ISA formal specification and CPU simulation | Heykuki News