Strix Online Demo

Strix version: 21.0.0

Format:

Mealy/Moore machine
AIGER circuit
BDD

Options:

Minimize controller
Structured labels


We use Spot's autfilt and abc to convert the controller into the dot format and render it to SVG using the equally named tool.