High-level test generation for processing elements in many-core systems | IEEE Conference Publication | IEEE Xplore