lowRISC/synfi
Xem trên GitHubOpenTitan FI formal verification framework
- Star
- 18
- Fork
- 8
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 1
- Ngôn ngữ chính
- Python
- Giấy phép
- Apache-2.0
- Lần push lên GitHub gần nhất
- 29/8/2023
- Lập chỉ mục gần nhất
- 19/9/2026
- Hướng dẫn đóng góp
- Hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Đã lập chỉ mục 1 issue đang mở
Đang tải issue
-
Gate type not found Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100