AlphaPeu commune
YosysHQ/sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
- Propriétaire
- YosysHQ (organisation)
- Étoiles
- Étoiles : 561
- Forks
- Forks : 109
- Langage
- Python
- Licence
- Aucune
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de YosysHQ
Les 13 dépôts de YosysHQ- YosysHQ/yosysÉtoiles : 4 858C++RC
- YosysHQ/picorv32Étoiles : 4 397VerilogRC
- YosysHQ/oss-cad-suite-buildÉtoiles : 1 799ShellBêta
- YosysHQ/nextpnrÉtoiles : 1 786C++Bêta
- YosysHQ/icestormÉtoiles : 1 193PythonBêta
- YosysHQ/apiculaÉtoiles : 702PythonBêta
D’autres dépôts Python
Tous les dépôts Python- mio3io/mio3_uvÉtoiles : 561PythonAlpha
- inclusionAI/cuLAÉtoiles : 561PythonAlpha
- avansaber/seo-monsterÉtoiles : 561PythonAlpha
- cloudant/bigcouchÉtoiles : 561PythonAlpha
- prody/ProDyÉtoiles : 561PythonAlpha
- git-big-picture/git-big-pictureÉtoiles : 561PythonAlpha