Formal Worst-Case Analysis of Crosstalk Noise in Mesh-Based Optical Networks-on-Chip | IEEE Journals & Magazine | IEEE Xplore