Power and Performance Optimal NoC Design for CPU-GPU Architecture Using Formal Models | IEEE Conference Publication | IEEE Xplore