In specification, the syntax is if XCR[rs2]_i = 0 then XCR[crd]_i ← t_i; Actually, Xcrypto does if XCR[rs2]_i = 1 then XCR[crd]_i ← t_i;
In specification, the syntax is
if XCR[rs2]_i = 0 then XCR[crd]_i ← t_i;
Actually, Xcrypto does
if XCR[rs2]_i = 1 then XCR[crd]_i ← t_i;