Switch da clk ONE;
Switch aa reset1 ONE;

And bb q0 q1-bar and1;
Or  bc reset1 and1 or1;
Dff "FF1" bd ONE or1 clk ONE q1 q1-bar;

And bf q1-bar q0-bar and2;
Or  bg reset1 and2 or2;
Dff "FF0" bh ONE or2 clk ONE q0 q0-bar;

/* Output probes */
Probe "Q1-" be q1-bar;
Probe "Q1" be q1;
Probe "Q0-" bi q0-bar;
Probe "Q0" bi q0;

/* Input probes */
Probe "I1" cc or1;
Probe "I0" cg or2;

/* State probes */
Probe "S1" ad q1;
Probe "S0" ah q0;

