Modeling IP responses in test case generation for systems-on-chip verification | IEEE Conference Publication | IEEE Xplore