by gipsyh · Agent Tool · ★ 110
LLM-Assisted Hardware Formal Verification Tool
| Stars | 110 |
| Forks | 24 |
| Language | Rust |
| Category | Agent Tool |
| License | GPL-3.0 |
| Quality Score | 38.25/100 |
| Open Issues | 2 |
| Last Updated | 2026-06-28 |
| Created | 2023-02-06 |
| Platforms | rust |
| Est. Tokens | ~388k |
Explore other popular agent tool tools:
rIC3 is LLM-Assisted Hardware Formal Verification Tool. It is categorized as a Agent Tool with 110 GitHub stars.
rIC3 is primarily written in Rust. It covers topics such as formal-verification, hardware, ic3.
You can find installation instructions and usage details in the rIC3 GitHub repository at github.com/gipsyh/rIC3. The project has 110 stars and 24 forks, indicating an active community.
rIC3 is released under the GPL-3.0 license, making it free to use and modify according to the license terms.