Dialects
This section contains documentation for core and contributed dialects available from the CIRCT repository. The description for each dialect includes content automatically generated from the dialect’s Operation Definition Specification (ODS).
Dialects Docs
- 'aig' Dialect
- 'arc' Dialect
- 'calyx' Dialect
- 'chirrtl' Dialect
- 'comb' Dialect
- 'dc' Dialect
- 'emit' Dialect
- 'esi' Dialect
- 'firrtl' Dialect
- 'fsm' Dialect
- 'handshake' Dialect
- 'hw' Dialect
- 'hwarith' Dialect
- 'kanagawa' Dialect
- 'llhd' Dialect
- 'loopschedule' Dialect
- 'msft' Dialect
- 'om' Dialect
- 'pipeline' Dialect
- 'rtgtest' Dialect
- 'seq' Dialect
- 'ssp' Dialect
- 'sv' Dialect
- 'systemc' Dialect
- Debug Dialect
- Interop Dialect
- LTL Dialect
- Moore Dialect
- Random Test Generation (RTG) Rationale
- Simulation Dialect
- SMT Dialect
- Verif Dialect