A generic test bench written in Bluespec

The BERI and CHERI processor and hardware platform

A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)

RISC-V BSV Specification

Bluespec ISA Description framework

Bit-string pattern matching for BSV

A BSV libary providing features similar to the Stmt sub-language