15:31 <mkk__> [Art Scott, skywater-pdk] 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/