YosysHQ/sby

SymbiYosys (sby) —— 基於 Yosys 的形式驗證流程前端

↗ 在 GitHub 開啟

星數

545

Fork 數

103

語言

Python

授權

NOASSERTION

最後推送

3 天前

還沒有相關情報

radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。