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