search

SymbioticEDA / riscv-formal

RISC-V Formal Verification Framework
ISC License
584 stars 98 forks source link

Update cores/serv/checks.cfg #21

Closed AlAlves closed 5 years ago

AlAlves commented 5 years ago

@basedir@/cores/@core@/serv-src/rtl/ser_eq.v no more exists on the https://github.com/olofk/serv repository.

I tried with this suggestion and it PASSED.