CS1101: Laboratory 8(b)

Circuit Equivalence

Academic Year 2006-2007

Lecturer: Dr. Barry O'Sullivan
Department of Computer Science
University College Cork

b.osullivan@cs.ucc.ie

Objective of this Lab

The objective of this lab is to introduce students to a logic design tool called TKGate and to use it to help develop a circuit to implement a given truth-table.

Submission

To submit your assignment please put your designs for the required circuits in a file called Four.v. To submit your designs, type the following from the command prompt from one of the lab machines: 
cs1101submit Four.v

The submission deadline is 5pm on Friday 16th of February.

Tasks

  1. Consider the following truth table:

    Inputs F
    A B C D
    0 0 0 0 1
    0 0 0 1 0
    0 0 1 0 0
    0 0 1 1 0
    0 1 0 0 1
    0 1 0 1 1
    0 1 1 0 0
    0 1 1 1 1
    1 0 0 0 1
    1 0 0 1 0
    1 0 1 0 1
    1 0 1 1 0
    1 1 0 0 1
    1 1 0 1 0
    1 1 1 0 1
    1 1 1 1 0

  2. Design a circuit which implements this truth-table using based on its Sum-Of-Products representation.

  3. Simply the circuit using the Boolean Identities below, and build this circuit also.

  4. Convince yourself that the circuits you have developed are equivalent (it is best to use the same inputs for both circuits).

Here is a table of boolean identities which you will find useful.

b.osullivan@cs.ucc.ie

Return to the CS1101 Home Page