BIST testability enhancement using high level test synthesis for behavioral and structural designs | IEEE Conference Publication | IEEE Xplore