NDFSM: incomplete specification
E.g. error checking first partially specified:
Then completed as even parity:
Could be implemented as CRC later
BIT or not BIT =>
BIT or not BIT =>
BIT or not BIT => ERR
BIT or not BIT =>
...
SYNC =>
BIT =>
not BIT =>
not BIT => ERR
...
SYNC =>
not BIT =>
...
not BIT =>
BIT =>
not BIT =>
BIT =>
BIT =>
BIT => ERR
0
1
7
8
p1
p7
d7
d1
0
8
Previous slide
Next slide
Back to first slide
View graphic version