Logic circuits for digital systems are mainly categorized as combinational and sequential. Combinational circuits are time independent. They are employ logic gates. Outputs are a function of the present inputs which means they do not depend upon previous inputs. Operations can be specified by Boolean function. The most important combinational circuits are adders, subtractors, comparators, decoders, encoders, multiplexers.
On the other hand, sequential circuits are time dependent which requires a clock cycle. They use storage elements in addition to logic gates. Outputs are a function of the inputs and the state of the storage elements. Because state of the storage elements is a function of previous inputs, the outputs are depending on present as well as inputs. Operation can be specified by time sequence of inputs and internal states.
If there are n input variables, it has 2n possible input combinations. For each input combination there is one possible value for each output variable. If m output variables, there are m output functions, each with in-terms of n input variables.
- Requires that we determine the function that the circuit implements
- Make sure that the given circuit is combinational by verifying “No Feedback” and “No Memory Element”
- Starts with a given logic diagram, compute
- A set of Boolean function
- A truth table
- An explanation of the Circuit Operation
- Design Verification.
As an example we analyze the following logic diagram.
You should label all the gate outputs that are a function of Inputs. After that determine Boolean function for each gate output.
T1 = A + B + C
T2 = ABC
F2 = AB + AC + BC
Now you label the gates that are a function of input variables and previously labeled gate outputs.
F‘2 = (AB + AC + BC) ‘
T3 = F‘2 T1
F1 = T3 + T2
Now we can combine above two steps and obtain the output Boolean function in term of input variables.
F1 = T3 + T2
= F‘2 T1 +ABC
= (AB + AC + BC) ‘ (A + B + C) +ABC
= (A‘ + B’) (A‘ + C’) (B‘ + C’) (A+ B +C) +ABC
= (A‘ + B‘C’) (AB‘ + AC‘ + BC‘ +B‘C) +ABC
=A‘BC‘ + A‘B‘C + AB‘C‘ +ABC
So far now we have derived the Boolean function. Next one is the truth table. To obtain the truth table from the logic diagram first thing is to determine the number of input variables. For n inputs, there are 2n possible combinations.
- Label gate outputs that are a function of inputs and obtain the truth table of those gates that are a function of the input variables only.
- Label the gate that are a function of previously labeled gate and obtain truth table for them.
- Repeat the process above until all outputs are determined.
There are four steps in combinational design procedure. Let’s discuss each with following example.
Design a circuit which has 3 inputs and a one Output with following requirements.
- When the input is less than 5, Output = 0
- Otherwise Output = 1
According to the given specs of the circuit determine the number of inputs and outputs and assign a symbol to each.
So, we know that when the input is less than 5, Z should be 0. First of all, label the inputs as A, B, C and the Output as Z. Since there are three inputs we can say that input is a 3-bit binary.
- Inputs: A.B, C
- Output: Z
Z = 0 for 0002, 0012, 0102, 0112, 1002
Z = 1 for 1012, 1102, 1112
Derive the truth table to define the required relationship between inputs and outputs.
Z = (B+ C). A
Draw the logic diagram and verify the correction of the design by manually or with simulations.
Simulations is done by NI Multisim 14.2