search

stevehoover / warp-v

WARP-V is an open-source RISC-V CPU core generator written in TL-Verilog.
https://warp-v.org
BSD 3-Clause "New" or "Revised" License
229 stars 57 forks source link

Added automation to keep local version of genchecks.py in sync w/ ris… #21

Closed stevehoover closed 4 years ago

stevehoover commented 4 years ago

…cv-formal.

Pulled some changes that were missed in local genchecks.py.