Network on Chip

Back

Based on the Github issue https://github.com/hughperkins/VeriGPU/issues/5 , pasting here for my reference

  1. https://amstel.estec.esa.int/tecedm/NoC_workshop/GinosarNOC_Tutorial.pdf
  2. https://github.com/aignacio/ravenoc