Home

Vitaly Kirsanov

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.