Benchmark FWGC
Benchmark models
Learning examples
Register model FWGC
From the register model we derived some extra mealy models by flattening which are listed in ExtraMealy.