Positioning test-benches and test-programs in interaction-oriented system-on-chip verification | IEEE Conference Publication | IEEE Xplore