search

AdDraw / veriNoC

Master Thesis 2020/2022 Network on Chip
https://addraw.github.io/veriNoC/
4 stars 0 forks source link

CI #4

Closed AdDraw closed 3 years ago

AdDraw commented 3 years ago

It would be nice to setup CI.

  1. [x] Create a self-hosted runner
  2. [x] Setup the environment
    • [x] cocotb
    • [x] iverilog
    • [x] yosys
  3. [x] yosys jobs (check if design is synthesizable)
  4. [x] cocotb functional Simulation jobs
  5. [x] sby formal verification jobs