Introducing New Verification Methods into a Company's Design Flow: An Industrial User's Point of View | IEEE Conference Publication | IEEE Xplore