Verification of RISC-V R-type Instructions Using A Custom Cocotb Based Approach. - Sennur Güney; Ihsan Çiçek (SMACD, 2025)