Holistic Approach to IO Timing Verification Using Portable Stimulus and Assertions