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