1.
Introduction
2.
Installation
3.
Simulation and Testing
4.
Interfacing with Verilog
5.
Sample project: ws2128 RGB LED driver
5.1.
Creating a Project
5.2.
Led Protocol Overview
5.3.
Driver Interface
5.4.
State Machine
5.5.
Testing the State Machine
5.6.
Output generation
5.7.
Testing in hardware
6.
Language Reference
6.1.
Items
6.1.1.
Units
6.1.2.
Type Declarations
6.2.
Statements
6.3.
Expressions
6.3.1.
Blocks
6.3.2.
If
6.3.3.
Match
6.3.4.
Instantiation
6.3.5.
Indexing
6.3.6.
Stage References
6.4.
Patterns
6.4.1.
Refutability
6.5.
Type system
6.5.1.
Primitive Types
6.5.2.
Generics
6.5.3.
Ports and Wires
6.5.4.
Inverted Ports
6.6.
Dynamic Pipelines
6.7.
Binding
6.8.
Constructs by syntax
7.
Swim Project Configuration
8.
Swim Plugin Configuration
9.
Compiler Internals
9.1.
Naming
9.2.
Type Representation
Light (default)
Rust
Coal
Navy
Ayu
The Spade Programming Language
Full documentation of the type system is yet to be written.