AX45MPV (AndeSim simulator) LUT4 benchmark