It says SHAKTI is an "open source processor" but I cannot find any design docs anywhere.
See the "learn more" link under each class
"RISC-V has been chosen as the instruction set architecture (ISA) for the SHAKTI class of processors. The SHAKTI processor and systems design is developed using the open source high-level synthesis (HLS) language: Bluespec System Verilog (BSV)."
(Saying it's "just" RISC-V is like saying the Clang is the same as same as hello world because they're both in C++)