Towards the High-Level Design of Optical Networks-on-Chip. Formalization of Opto-Electrical Interfaces | IEEE Conference Publication | IEEE Xplore