Mj functional verification