21.08.2013 Views

CARLETON UNIVERSITY - Department of Electronics at Carleton ...

CARLETON UNIVERSITY - Department of Electronics at Carleton ...

CARLETON UNIVERSITY - Department of Electronics at Carleton ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>CARLETON</strong> <strong>UNIVERSITY</strong><br />

DURATION: HOURS No. <strong>of</strong> Student:<br />

<strong>Department</strong> Name & Course Number:<br />

Course Instructor(s)<br />

AUTHORIZED MEMORANDA<br />

Final<br />

EXAMINATION<br />

April 24, 2002<br />

Students MUST count the number <strong>of</strong> pages in this examin<strong>at</strong>ion question paper before beginning to<br />

write, and report any discrepancy immedi<strong>at</strong>ely to a proctor. This question paper has 18 pages.<br />

This examin<strong>at</strong>ion paper May Not be taken from the examin<strong>at</strong>ion room.<br />

In addition to this question paper, students require: an examin<strong>at</strong>ion booklet yes no x may request<br />

a Scantron sheet yes no x<br />

page 1 2 3 4 5 6 7 8 9 10 11 12<br />

Name:<br />

Number:<br />

Sign<strong>at</strong>ure:<br />

3 398<br />

Electronic Engineering 97.267A,B and C<br />

Tom Ray and John Knight<br />

Any notes; any non-communic<strong>at</strong>ing calcul<strong>at</strong>or.<br />

Please write your answers on the examin<strong>at</strong>ion paper. You may ask for a booklet if you need it.<br />

Attempt all questions except do only one <strong>of</strong> questions 10 and 11.<br />

1 Quickies (Please answer on question paper. Check on the right, if answer is in booklet.)<br />

a) Draw a logic circuit which<br />

2%<br />

gives a “1” output if any twoout-<strong>of</strong>-three<br />

inputs are “1”, but<br />

not all three.<br />

2% b) Which single variable change, if any, can cause a hazard (glitch) in the “Combin<strong>at</strong>ional<br />

Logic” part <strong>of</strong> the circuit below in part c)_______A__________.<br />

A has two p<strong>at</strong>hs, one inverted which reconverge <strong>at</strong> G<br />

2%<br />

c) Wh<strong>at</strong>, if anything,<br />

should you do about the<br />

hazard in the logic <strong>of</strong><br />

this synchronous circuit,<br />

if there is one?<br />

CLK<br />

X<br />

Y<br />

1D<br />

C1<br />

1D<br />

C1<br />

F<br />

A<br />

H<br />

G<br />

1D<br />

A<br />

B<br />

K<br />

Combin<strong>at</strong>ional Logic<br />

C1<br />

There is a hazard <strong>at</strong> G. To keep it from doing any damage, be sure the clock cycle is long<br />

enough for it to die out before the next active clock edge.<br />

© Tom Ray and John Knight<br />

page 1 <strong>of</strong> 18


2%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

4%<br />

2%<br />

d) Many logic circuits run from a 5 volt power supply<br />

and receive and send out logic signals which have a<br />

logic “0” as 0 volts and a logic “1” as 5 volts. However<br />

in this instance the input signals are not the usual.<br />

C is 4.0 volts and B is 0.8 volts.<br />

Wh<strong>at</strong> logic level would you expect <strong>at</strong> A__0__<br />

Wh<strong>at</strong> logic level would you expect <strong>at</strong> R__1__<br />

4 V is an adequ<strong>at</strong>e 1, 0.8 V is an adequ<strong>at</strong>e 0.<br />

e) Simplify A+AB+BC+CD+DE+EF and don’t take too much space.<br />

=A+B +BC+CD+DE+EF (x+xz=x+z)<br />

=A+B +C+CD+DE+EF (x+xz=x+z)<br />

=A+B +C+D+DE+EF (x+xz=x+z)<br />

=A+B +C+D+E+EF (x+xz=x+z)<br />

=A+B +C+D+E (x+xz=x)<br />

f) Plot A·BC+BCDE on a Karnaugh map<br />

A·BC is on both maps.<br />

BCDE is on the E level (map only)<br />

+5 volt power supply<br />

© Tom Ray and John Knight April 14, 2003 page 2, <strong>of</strong> 18<br />

+<br />

C=4 volt<br />

B=0.8 volt<br />

AB\ CD AB\ CD<br />

1 1 1 1<br />

AB\ CD<br />

R<br />

E E<br />

AB\<br />

1 1<br />

CD<br />

1 1<br />

1<br />

A<br />

1a)See<br />

booklet<br />

1b)See<br />

booklet<br />

1c)See<br />

booklet


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

2 More Quickies<br />

a) Change to a minimal sum <strong>of</strong> products form.<br />

4%<br />

2%<br />

(A +BC)(A+EF)(ABC + DB )<br />

(AEF + ABC)(ABC + DB) swap<br />

AEFDB + ABC D2<br />

Taking the dual here is a mark loser.<br />

So is brute force multiplying out to 8 terms.<br />

People who did so almost alwas made a mistake, and none got the minimal answer.<br />

b) A minimized synchronous finite-st<strong>at</strong>e machine has<br />

11 inputs,<br />

14 outputs,<br />

40 st<strong>at</strong>es in which 3 are equivalent,<br />

and 129 logic g<strong>at</strong>es.<br />

How many flip-flops does it have?<br />

_________6_______<br />

6 flip-flops can give 2 6 st<strong>at</strong>es.<br />

5 flip-flops can only give 32.<br />

Pay no <strong>at</strong>tantion to all th<strong>at</strong> other confusing info.<br />

© Tom Ray and John Knight April 14, 2003 page 3, <strong>of</strong> 18<br />

2a)See<br />

booklet<br />

2b)See<br />

booklet


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

3%<br />

c) You have studied synchronous machines, asynchronous machines,<br />

Mealy outputs and Moore outputs.<br />

Which kind(s) <strong>of</strong> machine need race-free st<strong>at</strong>e assignments?<br />

_________________________asynch____________________________<br />

2%<br />

Which kind(s) <strong>of</strong> machine respond the most quickly to input changes?<br />

_______________________asynch______________________________<br />

_______________________Mealy_____________________________<br />

d) If 1101 is a two’s complement binary number, wh<strong>at</strong> is its value in decimal?<br />

1101 = -2 3 *1 + ( 2 2 *1 + 2 1 *0 + 2 0 *1 )= -8+5=-3,<br />

or 1101 0010<br />

+1<br />

0011 = 3dec<br />

hence the original was -3.<br />

© Tom Ray and John Knight April 14, 2003 page 4, <strong>of</strong> 18


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

3 MUX Logic and Hazards<br />

e) Implement the function F using one or more <strong>of</strong> the MUXs shown. You may<br />

use as many MUXs <strong>of</strong> any type as you need but:<br />

- do not change the inputs, or the ordering <strong>of</strong> the inputs, on the symbols.<br />

- do not use more hardware than needed for your method <strong>of</strong> implement<strong>at</strong>ion.<br />

4%<br />

abc<br />

000<br />

001<br />

010<br />

011<br />

100<br />

101<br />

110<br />

111<br />

abc<br />

ab<br />

00<br />

01<br />

10<br />

11<br />

a b<br />

bc<br />

00<br />

01<br />

10<br />

11<br />

bc<br />

f) Revise the equ<strong>at</strong>ion for H, below, to make the function free <strong>of</strong> st<strong>at</strong>ic hazards.<br />

Give the minimal form th<strong>at</strong> is still hazard free.<br />

7%<br />

F= ab + ac +ac<br />

Not well covered in 2003<br />

© Tom Ray and John Knight April 14, 2003 page 5, <strong>of</strong> 18<br />

ac<br />

00<br />

01<br />

10<br />

11<br />

a c<br />

c<br />

a<br />

b<br />

F= ab + ac +ac<br />

1<br />

0<br />

1<br />

1<br />

1<br />

0<br />

1<br />

0<br />

b+c c<br />

0<br />

c<br />

3a)See<br />

booklet


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

Put the circles (loops) for the hazard free function including masks on the right hand<br />

map.<br />

Write the equ<strong>at</strong>ion including masks below the map<br />

Blanks<br />

are zeros<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

H= AD +A B +BD + AC D + BC<br />

B<br />

B<br />

B<br />

H=A·B·D +AD+A·C·D +A·B·C<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

CD<br />

AB 00<br />

00 1<br />

D<br />

01 11 10<br />

1 1 1<br />

01 1 1<br />

A<br />

11 1<br />

10 1 1 1<br />

C<br />

© Tom Ray and John Knight April 14, 2003 page 6, <strong>of</strong> 18<br />

B<br />

B<br />

B


8%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

4 Races and Cycles<br />

Do rough work on the top table.<br />

The bottom table will be marked.<br />

Arrows in the bottom table, which<br />

are not part <strong>of</strong> the answer, will give<br />

neg<strong>at</strong>ive marks.<br />

a) Indic<strong>at</strong>e any cycles or races.<br />

b) Indic<strong>at</strong>e the p<strong>at</strong>h(s) from an<br />

initial stable st<strong>at</strong>e by which<br />

one enters the cycle or race.<br />

c) Iftheracealonecouldcause<br />

the circuit to malfunction write<br />

BAD beside the arrow.<br />

If the circuit should function<br />

s<strong>at</strong>isfactorily with the race,<br />

writeOKbesidethearrow.<br />

For a cycle write CY inside the<br />

loop<br />

we hope you have formed from<br />

the arrows.<br />

Present Next St<strong>at</strong>e, p + ,q +<br />

St<strong>at</strong>e for inputs x,y<br />

© Tom Ray and John Knight April 14, 2003 page 7, <strong>of</strong> 18<br />

PQ<br />

x,y<br />

00<br />

x,y<br />

01<br />

x,y<br />

11<br />

x,y<br />

10<br />

00 00 01 10 00<br />

01 01 00 01 01<br />

11 00 11 11 10<br />

10 10 11 01 11<br />

Present Next St<strong>at</strong>e, p + ,q +<br />

St<strong>at</strong>e for inputs x,y<br />

PQ<br />

x,y<br />

00<br />

x,y<br />

01<br />

x,y<br />

11<br />

x,y<br />

10<br />

00<br />

01<br />

00<br />

01<br />

01<br />

cy<br />

00<br />

10<br />

01<br />

00<br />

01<br />

11 00 11 11 10<br />

cy<br />

10 10 11 01 11<br />

Present Next St<strong>at</strong>e, p + ,q +<br />

St<strong>at</strong>e for inputs x,y<br />

PQ<br />

x,y<br />

00<br />

x,y<br />

01<br />

x,y<br />

11<br />

x,y<br />

10<br />

00 00 01 10 00<br />

01 01 00 01 01<br />

11 00 11 11 10<br />

10 10 11 01 11<br />

Present Next St<strong>at</strong>e, p + ,q +<br />

St<strong>at</strong>e for inputs x,y<br />

PQ<br />

BAD<br />

x,y<br />

00<br />

x,y<br />

01<br />

x,y<br />

11<br />

x,y<br />

10<br />

00<br />

01<br />

00<br />

01<br />

01<br />

cy<br />

00<br />

10<br />

01<br />

00<br />

01<br />

11 00 11 11 10<br />

cy<br />

10 10 11 01 11<br />

BAD<br />

BAD<br />

4) See<br />

booklet


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

10%<br />

5 Minimiz<strong>at</strong>ion <strong>of</strong> Multiple Outputs<br />

Minimizethelogicsize.<br />

a) Show your final circles on the lower map, rough work on the top maps.<br />

b) Shade the circles th<strong>at</strong> are common to two or more maps.<br />

c) Write the logic equ<strong>at</strong>ions under the maps.<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1 1 1<br />

YZ<br />

WX 00<br />

00 1<br />

Z<br />

01 11 10<br />

1 1<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1<br />

01<br />

11<br />

W<br />

10 d<br />

1 1<br />

1<br />

1<br />

1<br />

X<br />

01<br />

11<br />

W<br />

10 d 1<br />

X<br />

01<br />

11<br />

W<br />

10 1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

Y<br />

Y<br />

Y<br />

Map <strong>of</strong> F<br />

Map <strong>of</strong> G<br />

Map <strong>of</strong> H<br />

3circlesto<br />

get 1 bit<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1 1 1<br />

YZ<br />

WX 00<br />

00 1<br />

Z<br />

01 11 10<br />

1 1<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1<br />

2circlesto<br />

get 1 bit<br />

01<br />

11<br />

W<br />

10 d<br />

1 1<br />

1<br />

1<br />

1<br />

X<br />

01<br />

11<br />

W<br />

10 d 1<br />

X<br />

01<br />

11<br />

W<br />

10 1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

X<br />

Y<br />

Y<br />

Y<br />

Can share<br />

but extra<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1 1 1<br />

YZ<br />

WX 00<br />

00 1<br />

Z<br />

01 11 10<br />

1 1<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1<br />

work to get<br />

1 and 1<br />

01<br />

11<br />

W<br />

10 d<br />

1 1<br />

1<br />

1<br />

1<br />

X<br />

01<br />

11<br />

W<br />

10 d 1<br />

X<br />

01<br />

11<br />

W<br />

10 1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

X<br />

Alot<strong>of</strong><br />

work for a<br />

d<br />

YZ<br />

WX 00<br />

00<br />

01<br />

11<br />

W<br />

10 d<br />

Y<br />

Z<br />

01 11 10<br />

1 1 1<br />

1 1 1<br />

1 1<br />

X<br />

YZ<br />

WX 00<br />

00 1<br />

01<br />

11<br />

W<br />

10 d<br />

Y<br />

Z<br />

01 11 10<br />

1 1<br />

1<br />

X<br />

YZ<br />

WX 00<br />

00<br />

01<br />

11<br />

W<br />

10 1<br />

Y<br />

Z<br />

01 11 10<br />

1<br />

1 1 1<br />

1 1 1<br />

X<br />

Y<br />

Y<br />

Y<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1 1 1<br />

YZ<br />

WX 00<br />

00 1<br />

Z<br />

01 11 10<br />

1 1<br />

YZ<br />

WX 00<br />

00<br />

Z<br />

01 11 10<br />

1<br />

01<br />

11<br />

W<br />

10 d<br />

1 1<br />

1<br />

1<br />

1<br />

X<br />

01<br />

11<br />

W<br />

10 d 1<br />

X<br />

01<br />

11<br />

W<br />

10 1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

1<br />

X<br />

A=WY<br />

Y<br />

Y<br />

Y<br />

B=WXZ<br />

F=A+B+C+XY G=Z X+C<br />

H=WX+A+B+C<br />

C=W X Y Z<br />

22 letters, 9 g<strong>at</strong>es<br />

© Tom Ray and John Knight April 14, 2003 page 8, <strong>of</strong> 18<br />

X


8% 12%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

6 St<strong>at</strong>e Graph <strong>of</strong> a Synchronous Machine<br />

Draw the st<strong>at</strong>e graph for a Moore machine which has one input X, and two out-<br />

puts Y and Z:<br />

Y=1 whenever the machine receives the sequence 1001.<br />

Z=1 whenever the machine receives the sequence 0101.<br />

The leftmost bit is received first.<br />

Overlapped sequences are to be detected.<br />

Y and Z are zero except for the single clock period after the appropri<strong>at</strong>e sequence<br />

is completed.<br />

The machine starts <strong>at</strong> the RESET st<strong>at</strong>e.<br />

Draw only the st<strong>at</strong>e graph<br />

Use only the st<strong>at</strong>es provided below and do not change anything already given.<br />

Got<br />

Nothing<br />

Got 0 Got 01 Got 010 Got 0101<br />

Got<br />

Nothing<br />

Reset<br />

YZ=00<br />

0 Tom<br />

YZ=00<br />

0<br />

1<br />

1<br />

Got 01011<br />

Got 1<br />

Got 10<br />

Got 100<br />

Got 1001<br />

Anita<br />

YZ=00<br />

1<br />

Got 11<br />

0<br />

YZ=00<br />

0<br />

Yana<br />

YZ=00<br />

1<br />

Got 011<br />

Y<strong>at</strong>ish<br />

0101<br />

Got 10011<br />

1001<br />

1<br />

1<br />

1<br />

0<br />

Dick<br />

YZ=00<br />

Prize<br />

YZ=10<br />

© Tom Ray and John Knight April 14, 2003 page 9, <strong>of</strong> 18<br />

0<br />

0<br />

Harry<br />

YZ=00<br />

Got 1000<br />

1<br />

Win<br />

YZ=01<br />

0<br />

Got 01010<br />

Got 0 <strong>of</strong> 0101<br />

Got Nothing <strong>of</strong> 1001<br />

Got 010<br />

Got 10010<br />

<strong>of</strong> 0101<br />

Got 10 <strong>of</strong> 1001<br />

1


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

.<br />

Got<br />

Nothing<br />

Got 1<br />

Got 10<br />

Got 100<br />

Got 1001<br />

Got<br />

Nothing<br />

Reset<br />

YZ=00<br />

1<br />

Anita<br />

YZ=00<br />

0<br />

1<br />

0<br />

1<br />

Got 0 Got 01 Got 010 Got 0101<br />

Tom<br />

YZ=00<br />

Y<strong>at</strong>ish<br />

YZ=00<br />

0<br />

Yana<br />

YZ=00<br />

0<br />

1<br />

1<br />

0<br />

1<br />

1<br />

Dick<br />

YZ=00<br />

Prize<br />

YZ=10<br />

© Tom Ray and John Knight April 14, 2003 page 10, <strong>of</strong> 18<br />

0<br />

0<br />

0<br />

Harry<br />

YZ=00<br />

1<br />

YZ=01<br />

0<br />

Win<br />

1


8% 7%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

7 St<strong>at</strong>e Graph to Timing Diagram<br />

CLK<br />

I<br />

St<strong>at</strong>e<br />

z<br />

For the st<strong>at</strong>e graph shown below:<br />

a) Find one impossibility, circle it. and say wh<strong>at</strong> it is (in 10 words or less).<br />

Answer__Two next st<strong>at</strong>es for the same input (I=1 in st<strong>at</strong>e B) is impossible.<br />

b) Complete the timing diagram from the st<strong>at</strong>e graph. Show the present st<strong>at</strong>e and the output Z.<br />

The impossibility in a) should not affect the answer.<br />

C<br />

I=0->z=1<br />

I=1->z=0<br />

I=0<br />

I=1<br />

R<br />

z=0<br />

I=0<br />

I=0<br />

I=1<br />

I=1<br />

B<br />

I=0->z=0<br />

I=1->z=1<br />

© Tom Ray and John Knight April 14, 2003 page 11, <strong>of</strong> 18<br />

I=1<br />

I=0<br />

D<br />

z=1<br />

I=1<br />

R D C B A<br />

I=0<br />

A<br />

z=1<br />

St<strong>at</strong>es only change on the clock edge.<br />

Check input just before the clock edge to calcul<strong>at</strong>e next st<strong>at</strong>e<br />

Look inside st<strong>at</strong>e bubble for outputs inform<strong>at</strong>ion.<br />

Only one input, so can just write 1, 0.<br />

C 0<br />

B<br />

z=I<br />

z=I<br />

Another way <strong>of</strong> giving outputs<br />

1<br />

I=1<br />

7)See<br />

booklet


8%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

8 St<strong>at</strong>e Table to Circuit<br />

Design a machine with minimum logic to implement the following st<strong>at</strong>e table.<br />

Only the K-maps and the combin<strong>at</strong>ional circuits for the D inputs (DA and DB ) and Z are expected.<br />

Do not change the st<strong>at</strong>es, st<strong>at</strong>e assignment or the oper<strong>at</strong>ion <strong>of</strong> the machine<br />

St<strong>at</strong>e<br />

Q A Q B<br />

.<br />

St<strong>at</strong>e Q A + QB +<br />

I=0 I=1<br />

Output Z<br />

I=0 I=1<br />

R=0 0 V T 0 1<br />

S=0 1 V T 0 0<br />

T=1 1 R S 1 0<br />

V=1 0 R S 0 0<br />

St<strong>at</strong>e<br />

Q A Q B<br />

St<strong>at</strong>e Q A + QB +<br />

I=0 I=1<br />

Output Z<br />

I=0 I=1<br />

R=0 0 V=1 0 T =1 1 0 1<br />

S=0 1 V=1 0 T=1 1 0 0<br />

T=1 1 R=0 0 S=0 1 1 0<br />

V=1 0 R=0 0 S=0 1 0 0<br />

Q I<br />

A QB 00<br />

01<br />

11<br />

10<br />

0 1<br />

1<br />

1<br />

0<br />

0<br />

D A= Q A<br />

1<br />

1<br />

0<br />

0<br />

D A =Q A +<br />

Q I<br />

A QB 00<br />

01<br />

11<br />

10<br />

0 1<br />

DA Circuit DB Circuit<br />

DA QA I DB QB 0<br />

0<br />

0<br />

0<br />

1<br />

1<br />

1<br />

1<br />

D B=Q B +<br />

D B =I<br />

QB QA Q I<br />

A QB 00<br />

01<br />

11<br />

10<br />

Z Circuit<br />

0 1<br />

© Tom Ray and John Knight April 14, 2003 page 12, <strong>of</strong> 18<br />

I<br />

0<br />

0<br />

1<br />

0<br />

1<br />

0<br />

0<br />

0<br />

Z=Q A Q BI+ Q A Q BI<br />

Z<br />

8)See<br />

booklet


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

9 St<strong>at</strong>e Reduction<br />

In the st<strong>at</strong>e table below, and using a merge table, find which st<strong>at</strong>es, if any are equivalent.<br />

Make a new st<strong>at</strong>e table with the minimum number <strong>of</strong> st<strong>at</strong>es<br />

. Changed one next st<strong>at</strong>e <strong>of</strong> B and C from original exam to make the problem a little harder.<br />

St<strong>at</strong>e Next St<strong>at</strong>e<br />

I=0 I=1<br />

Output<br />

Z<br />

R E A 1<br />

A E B 0<br />

B A B 0<br />

C E C 0<br />

D C R 0<br />

E D R 0<br />

A<br />

B<br />

C<br />

D<br />

E<br />

A<br />

B<br />

C<br />

D<br />

E<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Different outputs<br />

A B<br />

E B<br />

E C<br />

E B<br />

C R<br />

E B<br />

D R<br />

E B<br />

E C<br />

A B<br />

C R<br />

A B<br />

D R<br />

A B<br />

C R<br />

E R<br />

D R<br />

E R<br />

D R<br />

C R<br />

R A B C D<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

A B<br />

E C<br />

E C<br />

E B<br />

C R<br />

E B<br />

D R<br />

E B<br />

E C<br />

A B<br />

C R<br />

A B<br />

D R<br />

A B<br />

C R<br />

E R<br />

D R<br />

E R<br />

D R<br />

C R<br />

R A B C D<br />

To merge st<strong>at</strong>es<br />

Must have the same output.<br />

Must have the same next st<strong>at</strong>es<br />

However<br />

They only have to be the same<br />

after all the mergers.<br />

Setting up the merge table<br />

BandAcan merge<br />

only if (A and E)<br />

and (B andC))<br />

are merged.<br />

AandEcan merge<br />

only if (B and R)<br />

and (D and E)<br />

are merged<br />

BandRhave<br />

different outputs!<br />

Thus DandE<br />

are irrelevant<br />

© Tom Ray and John Knight April 14, 2003 page 13, <strong>of</strong> 18


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

A<br />

B<br />

C<br />

D<br />

E<br />

A<br />

B<br />

C<br />

D<br />

E<br />

A<br />

B<br />

C<br />

D<br />

E<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

A B<br />

E C<br />

E C<br />

E B<br />

C R<br />

E B<br />

D R<br />

E B<br />

E C<br />

A B<br />

C R<br />

A B<br />

D R<br />

A B<br />

C R<br />

E R<br />

D R<br />

E R<br />

D R<br />

C R<br />

R A B C D<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

A B<br />

E C<br />

E C<br />

E B<br />

C R<br />

E B<br />

D R<br />

E B<br />

E C<br />

A B<br />

C R<br />

A B<br />

D R<br />

A B<br />

C R<br />

E R<br />

D R<br />

E R<br />

D R<br />

C R<br />

R A B C D<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

Z=0<br />

Z=1<br />

A B<br />

E C<br />

E C<br />

E B<br />

C R<br />

E B<br />

D R<br />

E B<br />

E C<br />

A B<br />

C R<br />

A B<br />

D R<br />

A B<br />

C R<br />

E R<br />

D R<br />

E R<br />

D R<br />

C R<br />

R A B C D<br />

Gray squares<br />

have been<br />

elimin<strong>at</strong>ed as<br />

merger candid<strong>at</strong>es<br />

on previous<br />

iter<strong>at</strong>ion<br />

D C<br />

E C<br />

E D<br />

D C<br />

© Tom Ray and John Knight April 14, 2003 page 14, <strong>of</strong> 18<br />

E<br />

Three way<br />

merge


<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

C will merge with D, C with E and E with D.<br />

Thus all three can merge into CDE..<br />

Review<br />

St<strong>at</strong>e Next St<strong>at</strong>e<br />

I=0 I=1<br />

OutputZ<br />

R CDE A 1<br />

A CDE B 0<br />

B R B 0<br />

CDE CDE R 0<br />

Assigning Bit-P<strong>at</strong>terns to Difficult St<strong>at</strong>e Graphs By Adding St<strong>at</strong>es<br />

A difficult st<strong>at</strong>e graph<br />

A B K<br />

D<br />

R<br />

Triangular st<strong>at</strong>es connections<br />

like ADR, can never all differ<br />

by only one bit<br />

Here A and R could not be<br />

made adjacent because<br />

<strong>of</strong> the triangle.<br />

00<br />

01<br />

11<br />

10<br />

0 1<br />

A B<br />

D R<br />

Assigning Bit-P<strong>at</strong>terns to St<strong>at</strong>es Using Flow-Through St<strong>at</strong>es.<br />

A difficult st<strong>at</strong>e graph<br />

x,y=1,1<br />

x,y=0,d<br />

A B K<br />

D<br />

xy=1,1<br />

R<br />

Triangular connections<br />

x,y=1,1<br />

K<br />

A B K<br />

© Tom Ray and John Knight April 14, 2003 page 15, <strong>of</strong> 18<br />

D<br />

α<br />

x,y=0,d<br />

A B K<br />

D<br />

x,y=1,1<br />

R<br />

R<br />

Add a temporary<br />

st<strong>at</strong>e α to elimin<strong>at</strong>e<br />

the triangle<br />

Since x,y=1,1 sends both R and<br />

D to A, let R flow through D.<br />

(D acts as a transient st<strong>at</strong>e)<br />

00<br />

01<br />

11<br />

10<br />

The new st<strong>at</strong>e<br />

assignment<br />

without races<br />

00<br />

01<br />

11<br />

10<br />

0 1<br />

A D<br />

α R<br />

B<br />

0 1<br />

A<br />

B K<br />

R<br />

D<br />

K<br />

Race free<br />

Assignment


12%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

10 Race-Free St<strong>at</strong>e Assignment. (Do either question 10 or 11 but not both.)<br />

For the following st<strong>at</strong>e table, revise the table and select a race-free assignment<br />

.Do not change the machine any more than necessary.<br />

Keep R as st<strong>at</strong>e 001.<br />

Do not increase the number <strong>of</strong> rows in the table. Do not merge st<strong>at</strong>es.<br />

Enter all <strong>of</strong> your answers below --- means “don’t care”<br />

.<br />

St<strong>at</strong>e Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=00<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=01<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=11<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=10<br />

A --- A A B<br />

B E --- --- B<br />

C C A C B<br />

D C D R D<br />

E E D C E<br />

R NotC<br />

Allowed<br />

A R D<br />

St<strong>at</strong>e Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=00<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=01<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=11<br />

Next<br />

St<strong>at</strong>e,<br />

Input<br />

XY=10<br />

A --- A A B<br />

B E --- --- B<br />

C C A C B<br />

D C D R D<br />

E E D C E<br />

R C A R D<br />

B<br />

C<br />

A R<br />

© Tom Ray and John Knight April 14, 2003 page 16, <strong>of</strong> 18<br />

C<br />

Assign st<strong>at</strong>es<br />

on map.<br />

Circle stable st<strong>at</strong>es<br />

Identify allowed<br />

st<strong>at</strong>e transitions<br />

Make graph<br />

<strong>of</strong> allowed<br />

transitions<br />

B<br />

C<br />

E<br />

A R<br />

C<br />

D<br />

Trytogetrid<strong>of</strong><br />

triangles.<br />

D<br />

B E<br />

Use transient st<strong>at</strong>es<br />

to avoid races.<br />

00<br />

01<br />

11<br />

10<br />

0 1<br />

A<br />

R<br />

C D<br />

B E


12%<br />

.025%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

Answer: Fill in the st<strong>at</strong>e table. Use letters to represent st<strong>at</strong>es, as above.<br />

Write your st<strong>at</strong>e assignmnt in a table (K-map).<br />

St<strong>at</strong>e Next St<strong>at</strong>e,<br />

Input<br />

XY=00<br />

Next St<strong>at</strong>e,<br />

Input<br />

XY=01<br />

Next St<strong>at</strong>e,<br />

Input<br />

XY=11<br />

Next St<strong>at</strong>e,<br />

Input<br />

XY=10<br />

A A=000 A=000 C=010<br />

B E=111 C=010 B=110<br />

C C=010 A=000 C=010 B=110<br />

D D=011 D=011 R=001 D=011<br />

E E=111 D=011 B=110 E=111<br />

R C=010 A=000 R=001 D=011<br />

11 Race-Free St<strong>at</strong>e Assignment. (Do either question 10 or 11 but not both.)<br />

A master-slave D flip-flop can be made differently than was shown in the notes.<br />

a) Find the best place(s) to break the circuit for analyze. Try to use the minimum<br />

number <strong>of</strong> breaks.<br />

z<br />

b) Label the next-st<strong>at</strong>e/st<strong>at</strong>e variables across breaks like this<br />

c) Derive the equ<strong>at</strong>ions rel<strong>at</strong>ing the variable on the left side <strong>of</strong> the break to the inputs and the<br />

variables on the right hand side <strong>of</strong> the break. Make appropri<strong>at</strong>e circuit simplific<strong>at</strong>ions graphically.<br />

+<br />

Z<br />

C<br />

D<br />

C<br />

D<br />

E<br />

N<br />

M<br />

F<br />

E<br />

N<br />

M<br />

F<br />

C<br />

m M +<br />

N<br />

C<br />

© Tom Ray and John Knight April 14, 2003 page 17, <strong>of</strong> 18<br />

C<br />

M<br />

N<br />

C<br />

V<br />

P<br />

W<br />

V<br />

P<br />

W<br />

q +<br />

00<br />

01<br />

11<br />

10<br />

0 1<br />

A R<br />

C D<br />

B E<br />

Q<br />

Q P<br />

Q<br />

Q P


.025%<br />

<strong>Carleton</strong> University <strong>Electronics</strong>, 97.267A, B and C Final April 24, 2002<br />

C<br />

D<br />

C<br />

D<br />

E<br />

N<br />

M<br />

F<br />

E=C+D<br />

N<br />

M<br />

F=DC<br />

m +<br />

C<br />

N=M+DC<br />

C<br />

M<br />

N<br />

C<br />

M<br />

When 2002 is written in binary, wh<strong>at</strong> will the least significant bit be?_______<br />

Have a good summer! Even numbers end in 0.<br />

© Tom Ray and John Knight April 14, 2003 page 18, <strong>of</strong> 18<br />

C<br />

V<br />

P<br />

W<br />

V=M+C<br />

Q<br />

W=CN<br />

Q<br />

Q P<br />

P<br />

q +<br />

Q<br />

P=Q+W=Q+CN<br />

m+=(M + F)(C + D) = (M + DC)(C + D) = MC+ MD + DC = MC + DC (concensus)<br />

q + = (Q+W)(C+M) = (Q+CN)(C+M) = QC+QM+CNM) = QC+QM+C(M+DC)M<br />

=QC+QM+CM=QC+CM (concensus)<br />

Note

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!