circt
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| RFC: Announcing the new intermediate representation Property IR for assertions (SVA/PSL) |
|
4 | 425 | May 18, 2026 |
| Announcing the RTLIL MLIR dialect for CIRCT |
|
1 | 191 | September 22, 2025 |