VC Verification IP for Subsystems