Language Reference
Syntax, exact types, state, timing, protocols, and verification contracts.
Read on GitHub ↗Download PDF ↓Find the Language Reference, Standard Library Guide, User Guide, and downloadable manuals.

Syntax, exact types, state, timing, protocols, and verification contracts.
Read on GitHub ↗Download PDF ↓Numerical, stream, storage, and bus APIs, component choices, and recipes.
Read on GitHub ↗Download PDF ↓Installation, simulation, debugging, waveforms, projects, and RTL workflows.
Read on GitHub ↗Download PDF ↓Documentation snapshot: 0.1.0a24 · c768da0bce8b. Keep all three PDFs together for offline navigation. Website accounts are not needed to read the manuals.