Applying behavioural level test generation to high-level design validation | IEEE Conference Publication | IEEE Xplore