glint Wiki
A tool for finite state machine analysis and synthesis.
Status: Planning
Brought to you by:
krokoziabla
Welcome to your wiki!
This is the default page, edit it as you see fit. To add a page simply reference it within brackets, e.g.: [SamplePage].
Let's take an FSM Moore as input:
| 0000 0001 0002
-----+----------------
| 0000 0001 0002
-----+----------------
0000 | 0001 0001 0001
0001 | 0000 0002 0000
If we want to see which input signal sequenses lead to output signal 0000 or 0001, glint will provide the following line:
( { 0001 - 0000 { 0001 0000 - 0000 } 0001 0001 } 0000 { 0001 0000 - 0000 } - { 0001 - 0000 { 0001 0000 - 0000 } 0001 0001 } )
The wiki uses Markdown syntax.