search

CTSRD-CHERI / QuickCheckVEngine

A RISC-V TestRIG Verification Engine based on QuickCheck
BSD 2-Clause "Simplified" License
7 stars 9 forks source link

Fix RVC instructions with missing zeroes #39

Closed elliotb-lowrisc closed 5 months ago

elliotb-lowrisc commented 5 months ago

A handful of compressed instructions seem to have zeroes missing from their *_raw encoding format string. This leads to incorrect encoding, such as what was intended as a c_srai64 actually being encoded as a c_addi.

PeterRugg commented 5 months ago

Ouch, thanks!