pub fn riscv_register_properties(config: &RiscvConfig) -> Vec<ProtocolProperty>
Generate register file properties.