Update dmux8.v