Modeling interconnection networks using a hardware description language | IEEE Conference Publication | IEEE Xplore