Skip to content

Commit

Permalink
Add internal implementation status to microcode definitions
Browse files Browse the repository at this point in the history
  • Loading branch information
@fsaev
fsaev committed Aug 5, 2024
1 parent 2a904f1 commit 07508b0
Showing 1 changed file with 47 additions and 0 deletions.
47 changes: 47 additions & 0 deletions microcode_v1.0.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -36,171 +36,196 @@
{
"name": "LUI",
"_developers_note": "Could potentially be merged with a following ADDI instruction",
"_status": "Not verified",
"opcode": "LUI",
"type": "U",
"operations": ["RD_LOAD", "IMM[31:12]"]
},
{
"name": "AUIPC",
"_status": "Not verified",
"opcode": "AUIPC",
"type": "U",
"operations": ["PC_ADD", "IMM[31:12]"]
},
{
"name": "JAL",
"_status": "Not verified",
"opcode": "JAL",
"type": "J",
"operations": ["RD_LOAD", "PC_ADD", "IMM[20:1]"]
},
{
"name": "JALR",
"_status": "Not verified",
"opcode": "JALR",
"type": "I",
"funct3": "000",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]", "PC_ADD"]
},
{
"name": "BEQ",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "000",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "BNE",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "001",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "BLT",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "100",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "BGE",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "101",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "BLTU",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "110",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "BGEU",
"_status": "Not verified",
"opcode": "BRANCH",
"type": "B",
"funct3": "111",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[12:1]", "PC_ADD"]
},
{
"name": "LB",
"_status": "Not verified",
"opcode": "LOAD",
"type": "I",
"funct3": "000",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "LH",
"_status": "Not verified",
"opcode": "LOAD",
"type": "I",
"funct3": "001",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "LW",
"_status": "Not verified",
"opcode": "LOAD",
"type": "I",
"funct3": "010",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "LBU",
"_status": "Not verified",
"opcode": "LOAD",
"type": "I",
"funct3": "100",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "LHU",
"_status": "Not verified",
"opcode": "LOAD",
"type": "I",
"funct3": "101",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "SB",
"_status": "Not verified",
"opcode": "STORE",
"type": "S",
"funct3": "000",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[11:5]", "IMM[4:0]"]
},
{
"name": "SH",
"_status": "Not verified",
"opcode": "STORE",
"type": "S",
"funct3": "001",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[11:5]", "IMM[4:0]"]
},
{
"name": "SW",
"_status": "Not verified",
"opcode": "STORE",
"type": "S",
"funct3": "010",
"operations": ["RS1_LOAD", "RS2_LOAD", "IMM[11:5]", "IMM[4:0]"]
},
{
"name": "ADDI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "000",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "SLTI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "010",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "SLTIU",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "011",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "XORI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "100",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "ORI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "110",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "ANDI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "111",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "SLLI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "001",
Expand All @@ -209,6 +234,7 @@
},
{
"name": "SRLI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "101",
Expand All @@ -217,6 +243,7 @@
},
{
"name": "SRAI",
"_status": "Not verified",
"opcode": "OP_IMM",
"type": "I",
"funct3": "101",
Expand All @@ -225,6 +252,7 @@
},
{
"name": "ADD",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "000",
Expand All @@ -233,6 +261,7 @@
},
{
"name": "SUB",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "000",
Expand All @@ -241,6 +270,7 @@
},
{
"name": "SLL",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "001",
Expand All @@ -249,6 +279,7 @@
},
{
"name": "SLT",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "010",
Expand All @@ -257,6 +288,7 @@
},
{
"name": "SLTU",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "011",
Expand All @@ -265,6 +297,7 @@
},
{
"name": "XOR",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "100",
Expand All @@ -273,6 +306,7 @@
},
{
"name": "SRL",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "101",
Expand All @@ -281,6 +315,7 @@
},
{
"name": "SRA",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "101",
Expand All @@ -289,6 +324,7 @@
},
{
"name": "OR",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "110",
Expand All @@ -297,6 +333,7 @@
},
{
"name": "AND",
"_status": "Not verified",
"opcode": "OP",
"type": "R",
"funct3": "111",
Expand All @@ -305,69 +342,79 @@
},
{
"name": "FENCE",
"_status": "Not verified",
"opcode": "MISC_MEM",
"type": "I",
"funct3": "000",
"operations": ["IMM[11:0]"]
},
{
"name": "FENCE_I",
"_status": "Not verified",
"opcode": "MISC_MEM",
"type": "I",
"funct3": "001",
"operations": ["IMM[11:0]"]
},
{
"name": "ECALL",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "000",
"operations": ["IMM[11:0]"]
},
{
"name": "EBREAK",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "000",
"operations": ["IMM[11:0]"]
},
{
"name": "CSRRW",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "001",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "CSRRS",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "010",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "CSRRC",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "011",
"operations": ["RD_LOAD", "RS1_LOAD", "IMM[11:0]"]
},
{
"name": "CSRRWI",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "101",
"operations": ["RD_LOAD", "IMM[11:0]"]
},
{
"name": "CSRRSI",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "110",
"operations": ["RD_LOAD", "IMM[11:0]"]
},
{
"name": "CSRRCI",
"_status": "Not verified",
"opcode": "SYSTEM",
"type": "I",
"funct3": "111",
Expand Down

0 comments on commit 07508b0

Please sign in to comment.