RiscV-Formal/tables/instruction_forms.xlsx