search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

Update CI scripts #273

Closed mmicko closed 3 months ago

mmicko commented 3 months ago

Start using new infrastructure for testing