lowRISC/synfi
Ver en GitHubOpenTitan FI formal verification framework
- Estrellas
- 18
- Forks
- 8
- Issues abiertos para principiantes
- 0
- Issues indexados
- 1
- Lenguaje dominante
- Python
- Licencia
- Apache-2.0
- Último push a GitHub
- 29/8/2023
- Última indexación
- 19/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
1 issue abierto indexado
Cargando issues
-
Gate type not found Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100