GitHub repository: AdDraw/veriNoC
Primary language: Python
Description: Master Thesis 2020/2022 Network on Chip