Achieving Portable Stimulus with Graph-Based Verification – Tutorial Author(s): Josef Derner, Holger Horbach, Frederic Krampac, Staffan Berg Download