Card 4 — Control Path Verification
Description:
Build a standalone controlpath testbench.
Feed instruction opcodes/funct3/funct7 patterns and verify the generated control signals (alu_op, alu_src, reg_write, mem_write, mem_read, branch, jump, mem_to_reg).
Check ALU control for all RV32I arithmetic/logic types and branch decision logic for BEQ/BNE/BLT/BGE variants.
Card 4 — Control Path Verification
Description:
Build a standalone controlpath testbench.
Feed instruction opcodes/funct3/funct7 patterns and verify the generated control signals (alu_op, alu_src, reg_write, mem_write, mem_read, branch, jump, mem_to_reg).
Check ALU control for all RV32I arithmetic/logic types and branch decision logic for BEQ/BNE/BLT/BGE variants.