Assisting Abstraction and Verification of Hardware Intellectual Property (Ip) Modules