A mixed mode sequential machine (MSM) is defined as a representation in which bot

h synchronous (clocked) and asynchronous (unclocked) state transitions are allow

ed
. The intent of the representation is to allow designers to consider both types
of transitions in a single structure, thereby promoting the use of LSI devices s
uch as ROM's or PLA's to resolve the realization question.
The approach is thus different from conventional design methods, in which async
hronous problems are treated separately with separate devices.
The problems of state reduction, state assignment, and realization are covered.
Of particular note is the development of a ROM implementation, which allows both
clocked and unclocked transitions to occur.
1. The problem statement, all variables and given/known data
(Problem 226) Design a Moore type synchronous state machine with only two
states, two external inputs X1 and X2, and one output Z. When X1 X2 = 1 at the
next clock timing event, output Z goes to 1. Output Z then goes to 0 unless X2 =
1
causing the output to stay at 1. Use positive edge-triggered JK
flip-flops in your
design.
I posted the digital design problems and I actually have solved two out of the t
hree of them.
My major question was with :
(Problem 226) Design a Moore type synchronous state machine with only two
states, two external inputs X1 and X2, and one output Z. When X1 X2 = 1 at the n
ext clock timing event, output Z goes to 1. Output Z then goes to 0 unless X2 =
1 causing the output to stay at 1. Use positive edge-triggered JK flip-flops in
your design.
In the lecture notes we're taught how to design an FSM with one input and depend
ing on the output equation if it includes the external input - then we decide wh
ether its a mealy or a moore machine.
However here we have two external inputs - i'm having trouble coming up with the
truth table -
a 1 input truth table may look like this:
| x = 0 x = 1 | (OUTPUT)
states | Q1Q0 Q1Q0| Z1 Z2
A..........A ........B....|1 1
B..........B ........C....|1 0
C..........C ........D....|1 1
D..........D ........A....|0 0
where
A = 00
B = 01
C = 10
D = 11

my problem is i don't know how to structure the truth table nor the state diagra
m with two inputs.
All i know is that
1) its a moore model
i.e. the output equation is only a function of its present state and not the inp
ut
q = f(q,x) state equation
z = h(q) output equation
where
x = external input
q = present state

2) I know how to design the problem once i get the logic table or state diagram.
3) the only time the output is z = 1
is when
X1' . X2 = 1
how would we describe that?
would that be like ...

| X1 = 0 X1 = 1 | X2 = 0 X2 = 1
states | Q1Q0 Q1Q0| Q1Q0 Q1Q0
A..........A ........B... |.........ETC ETC..
B..........B ........C....|
C..........C ........D....|
D..........D ........A....|
then how would we show both X1'X2 = 1 ?
we would have a feedback design with these extra inputs asserted.
or ...

|X1X2 = 00 X1X2=01 X1X2=10 X1X2 = 11|

states|Q2.Q1.Q0 Q2.Q1.Q0 Q2.Q1.Q0 Q2.Q1.Q0| OUTPUTS
.................................................. .............................
.....
.................................................. .............................
......
.................................................. .............................
......
.................................................. .............................
......
.................................................. .............................
......

then using the J/K flip flop excitation table - which is

Q = Jq' +K'q
q Q | J K
0 0 | 0x
0 1 | 1x
1 0 | x1
1 1 | x0
lol i'm very lost. Please help
berkman i think i got the truth table
[code]
for states
A=0
B=1