Synopsys Verification IP for Subsystems