AdDraw/veriNoC

CI

Closed this issue · 0 comments

AdDraw commented

It would be nice to setup CI.

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