sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

GitHub

389 stars
38 watching
74 forks
Language: Python
last commit: 14 days ago