Using high level design models for generation of test vectors | IEEE Conference Publication | IEEE Xplore