it be called :deusvult: I like

let hi_half : bits(16) = X(rs1)[15..0]; let hi_half : bits(8) -> bits(8) function xt2(x) = { let shamt : bits( 5) = bs @ 0b000; /* shamt = if rs1_val <_s rs2_val then rs1_val else rs2_val; X(rd) = ror64(X(rs1), 1)

beveled