An asynchronous circuit has two inputs, in1 and in2, and an output, out. When in1 = 1, the first transition from logic 0 to logic 1 at in2 generates out = 1 in the waveform below. Output stays at...

An asynchronous circuit has two inputs, in1 and in2, and an output, out. When in1 = 1, the first transition from logic 0 to logic 1 at in2 generates out = 1 in the waveform below. Output stays at logic 1 unless in1 goes back to logic 0. The first transition from logic 1 to logic 0 at in2 switches the output back to logic 0 while in1 = 0.

Define all possible states using the waveform above and form an integrated primitive state and output flow table. Form an associated implication table leading to the minimization of states and outputs. Design the resultant fundamental mode asynchronous circuit.