Verification and Trust for Unspecified IP Functionality