Achieving Portable Stimulus with Graph-Based Verification – Tutorial