Improving GA-Based NoC Mapping Algorithms Using a Formal Model | IEEE Conference Publication | IEEE Xplore