rIC3

gipsyh

LLM-Assisted Hardware Formal Verification Tool

hardware

View on GitHub

114 Stars

26 Forks

5 Watchers

Rust Language

gpl-3.0 License

100 SrcLog Score

Cost to Build

$234.7K

Market Value

$701.0K

How is this calculated?

Growth over time

6 data points · 2026-04-07 → 2026-08-23

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about rIC3

Question copied to clipboard

What is the gipsyh/rIC3 GitHub project? Description: "LLM-Assisted Hardware Formal Verification Tool". Written in Rust. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone rIC3

Clone via HTTPS

git clone https://github.com/gipsyh/rIC3.git

Clone via SSH

[email protected]:gipsyh/rIC3.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the rIC3 issue tracker:

Open GitHub Issues

Similar to rIC3

anypixel Marketing-for-Engineers gobot node-serialport openvr platformio-core awesome-electronics Hackintosh-Installer-University librealsense blynk-library lelylan blynk-server periph pyusb awesome-vehicle-security NyuziProcessor go-hardware Neural-Networks-on-Silicon UsbSerial pgtune wrmhl platformio-atom-ide ansible-provisioning w1thermsensor attifyos PipeCNN trezor-mcu node-escpos trezor-agent msi-keyboard