Assisting Abstraction And Verification Of Hardware Intellectual Property (ip) Modules door Waseem Muhammad