search

YosysHQ / riscv-formal

RISC-V Formal Verification Framework
ISC License
94 stars 21 forks source link

Update CI script #25

Closed mmicko closed 5 months ago

mmicko commented 5 months ago

Start using new infrastructure for testing