Presentation at 'Club T' Cadence Verification User's Group - Bristol and Munich