{"library":"sby","type":"cli","category":null,"description":"Front-end for Yosys-based formal verification flows. Available on Homebrew.","language":"shell","status":"active","version":"0.65","tags":[],"last_verified":null,"install":[{"cmd":"brew install sby","imports":[]}],"homepage":"https://symbiyosys.readthedocs.io/en/latest/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}