CS1101: Laboratory 7(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 XOR.v. To submit your designs, type the following from the command prompt from one of the lab machines: 
cs1101submit XOR.v

The submission deadline is 5pm on Monday 12th of February.

Tasks

  1. Consider the following truth table:

    A B F
    0 0 0
    0 1 1
    1 0 1
    1 1 0

  2. Design a circuit which implements this truth-table using only NAND gates and, a second version using only NOR gates.

  3. Make sure that you use the same pair of switches, representing input A and input B, for both circuits. You should use LEDs to represent the output of each of your designs. In this way you will be able to test that the outputs of both circuits are equivalent.

Here is a table of boolean identities which you will find useful (in particular, De Morgan's Law):

b.osullivan@cs.ucc.ie

Return to the CS1101 Home Page