add files Increment.v OutputJudgement.v SPR.v TestRegister.v