The SHAKTI processors and front-end design use high-level synthesis language, Bluespec System Verilog (BSV). https://abopen.com/news/an-overview-of-shakti-processor-program/