Operation function clause execute (SHA512SIG0(rs1, rd)) = { let a0 : bits (64) = if rs1_val <_s rs2_val then rs1_val else rs2_val; X(rd) = X(rs1) & ~X(rs2); Included in Extension Minimum version