search

CTSRD-CHERI / QuickCheckVEngine

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

Add RV_C disassembly #54

Closed elliotb-lowrisc closed 1 month ago

elliotb-lowrisc commented 1 month ago

Implement basic disassembly for RV_C (compressed instructions). Only the compressed instruction and given operands are shown in the printed output. No expansion to non-compressed instructions or insertion of implicit operands is performed. Simplicity was the aim, given the high number array of special cases.

PeterRugg commented 1 month ago

Thanks a lot for this: it was certainly sorely needed. I'll have a quick look through now.

elliotb-lowrisc commented 1 month ago

No worries :+1: