Added ILogic.v to the repository