mulhw(12345678, deadbeef) = fda16776
mulhwu(12345678, deadbeef) = fd5bdee
fmadd(3.141590, 2.718000, 1.414000) = 9.952842
fmsub(3.141590, 2.718000, 1.414000) = 7.124842
frsqrte(3.141590) = OK
fres(3.141590) = OK
fsel(3.141590, 2.718000, 1.414000) = 2.718000
fsel(-3.141590, 2.718000, 1.414000) = 1.414000
fcti(3.141590) = 3
fcti(2.718000) = 3
fcti(1.414000) = 1
isel(0, 305419896, -559038737) = -559038737
isel(42, 305419896, -559038737) = 305419896
read_16_rev = 3412
read_32_rev = efbeadde
after write_16_rev: 9a78
after write_32_rev: 78563412
CSE write_32_rev: ok