Empirical study of identifying gaps between users expectation and experience in the verification methodologies of semiconductor industry | IEEE Conference Publication | IEEE Xplore