high level ESL design for cache coherency in many core systems