Success stories are what they are. The ones that catch your attention are backed up with user experience. So, two of the three ARM AMB verification IP examples that Cadence Design Systems has announced may merit your further investigation. They involve Hisilicon and CEVA.

More information available here.