1 / 22

COMBINATIONAL CIRCUIT SYNTHESIS

COMBINATIONAL CIRCUIT SYNTHESIS. CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS MULTILEVEL-CIRCUIT SYNTHESIS FACTORIZATION DECOMPOSITION CIRCUIT SYNTHESIS USING BUILDING BLOCKS SHARING BUILDING BLOCKS AMONG OUTPUT FUNCTIONS MULTIPLEXERS DECODERS LOOK-UP-TABLE LOGIC BLOCKS GENERAL SYNTHESIS METHOD.

taya
Download Presentation

COMBINATIONAL CIRCUIT SYNTHESIS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. COMBINATIONAL CIRCUIT SYNTHESIS • CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS • MULTILEVEL-CIRCUIT SYNTHESIS • FACTORIZATION • DECOMPOSITION • CIRCUIT SYNTHESIS USING BUILDING BLOCKS • SHARING BUILDING BLOCKS AMONG OUTPUT FUNCTIONS • MULTIPLEXERS • DECODERS • LOOK-UP-TABLE LOGIC BLOCKS • GENERAL SYNTHESIS METHOD

  2. CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS • PROCEDURE: • THE WORD DESCRIPTION OF DESIRED BEHAVIOR IS GIVEN. • THIS BEHAVIOR IS CONVERTED INTO SWITCHING (BOOLEAN) FUNTIONS WHICH LOGICLY RELATE INPUTS TO OUTPUTS. • THESE FUNCTIONS ARE MINIMIZED TO OBTAIN A TWO-LEVEL CIRCUIT REALIZATION, USING STANDARD GATES FROM A COMPLETE SET, I.E. EITHER {AND,OR,NOT}, {NAND} OR {NOR} SETS.

  3. CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS • EXAMPLE: DESIGN A FULL-ADDER CIRCUIT. • A full-adder is a device that adds in binary, three inputs, A, B, Cin, and produces, two outputs: the sum, S, of the three inputs and the carry out, Cout. Cout = 1, when at least two inputs equal to 1. • The output functions are: S = A  B  Cin , Cout= A B + A Cin + B Cin+ A B Cin • Minimizing these functions, using k-maps or any other method,we obtain S = A  B  Cin , Cout= A B + A Cin + B Cin • Using {AND,OR,NOT} gates, the minimal two level circuits are shown on next slide.

  4. CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS • EXAMPLE: DESIGN A FULL-ADDER CIRCUIT. (Continues)

  5. CLASSIC TWO-LEVEL CIRCUIT SYNTHESIS • EXAMPLE: DESIGN A FULL-ADDER CIRCUIT. (Continues) • Using {NAND} complete set, we obtain the circuit Remark: A two-level AND-OR circuit is transformed into a two- level NAND-NAND circuit by replacing AND, OR gates with NAND’s

  6. MULTILEVEL-CIRCUIT SYNTHESIS • FACTORIZATION By finding common factors in the terms of the sum-of-products expression, it is possible to use gates with less fan-in. However, the resulting circuit has more propagation delay than the two-level-logic equivalent. For example: Consider the SUM function. If only two-input gates are available, then SUM = A  B  Cin = (A !B + !A B) !Cin + (!A !B + A B) Cin = (A  B)  Cin which produces the circuit

  7. MULTILEVEL-CIRCUIT SYNTHESIS • FACTORIZATION (continues) Another example: The parity check circuit of 4 variables F(A,B,C,D) = A  B  C  D The Shannon Expansion with respect to A, B gives F = [C  D] !A !B + [C D] !A B + [C D] A !B + + [C  D] A B = (A  B)  (C  D) which produces a circuit that uses only two-input EX-OR gates.

  8. MULTILEVEL-CIRCUIT SYNTHESIS • DECOMPOSITION • IS A TECHNIQUE USED TO EXPRESS A GIVEN FUNCTION F IN TERMS OF ANOTHER FUNCTION G, WHICH COULD BE CONVENIENT, TO PRODUCE F. • EXAMPLE: • CONSIDER THE FUNCTION COUT = A B + A CIN + B CIN • CAN COUT BE EXPRESSED AS A FUNCTION OF G = A  B ? • TO ANSWER THIS QUESTION WE USE THE BRIDGING METHOD WHICH CONSISTS OF FINDING FUNCTIONS P AND R SUCH THAT COUT = A B + A CIN + B CIN = P (A  B) + R

  9. MULTILEVEL-CIRCUIT SYNTHESIS • DECOMPOSITION (THE BRIDGING METHOD) (Continues) • COUT = A B + A CIN + B CIN = P • (A  B) + R • WE CONSTRUCT K-MAPS FOR EACH ONE OF THE FUNCTIONS AND DETERMINE THE UNKOWN ENTRIES OF P AND R SUCH THAT THE EQUALITY FOR EACH ENTRY HOLDS COUT P = CIN (A  B) R = A B ONE OF THE MANY EXISTING SOLUTIONS IS COUT = CIN (A  B) + AB

  10. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • SHARING BUILDING BLOCKS AMONG OUTPUT FUNCTIONS • ECONOMY OF CIRCUIT COMPONENTS (BUILDING BLOCKS) CAN BE ACHIEVED WHEN SHARING OF ONE OR MORE BUILDING BLOCKS IS POSSIBLE AMONG OUTPUT FUNCTIONS • EXAMPLE: • CONSIDER THE FULL-ADDER CIRCUIT. THE SUM FUNCTION USES TWO 2-INPUT EX-OR GATES. CAN THE COUT FUNCTION SHARE ONE OF THEM, SAY Z = A  B? • THE PROBLEM IS TO EXPRESS COUT AS A FUNCTION OF Z

  11. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • SHARING BUILDING BLOCKS AMONG OUTPUTFUNCTIONS (Continues) • The canonical sum-of-products expression of Cout is • COUT = A B CIN + A B !CIN + A !B CIN + !A B CIN [1] • The Shannon expansion of COUT with respect to A,B is • COUT =[R0] !A!B +[R1] !AB+[R2] A!B +[R3] AB [2] • FOR Z = A  B TO EXIST IN [2], R1 MUST BE IDENTICAL TO R2 AND TO CIN • FOR [1] TO BE IDENTICAL TO [2], WE MUST HAVE R3 = 1 AND R0=0 • THE SOLUTION IS COUT = CIN Z + A B OR COUT = CIN (A  B) + A B

  12. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DESIGNING WITH MULTIPLEXERS • An m x 1 multiplexer, or m x 1 MUX, is a circuit with m = 2n input lines, called data lines, one output line and n select input lines. Each combination of the select lines connects one and only one input data line to the output. • The Shannon expansion is used to synthesize with multiplexers output inputs Enable signal used to activate, ENB = 1, or desactivate, ENB = 0, the circuit. select lines

  13. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DESIGNING WITH MULTIPLEXERS (Continues) • EXAMPLE: DESIGN A FULL ADDER WITH TWO 4 X 1 MUX’s • The Shannon expansion of SUM and Cout with respect to A,B are: SUM = [Cin] !A !B + [!Cin]!A B + [!Cin] A !B + [Cin]A B Cout = [0] !A !B + [Cin]!A B + [Cin] A !B + [1] A B The resulting circuit is

  14. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DESIGNING WITH MULTIPLEXERS (Continues) • ANOTHER EXAMPLE: DESIGN A FULL ADDER WITH 2 X 1 MUX’s The resulting circuit is

  15. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DESIGNING WITH MULTIPLEXERS (Continues) • ANOTHER EXAMPLE: DESIGN A FULL ADDER WITH TWO 2 X 1 MUX’s AND ADDITIONAL GATES AT THE DATA LINES. • THE SHANNON EXPANSION WITH RESPECT TO CIN GIVES • SUM = [!A!B + A B] CIN + [A!B + !AB] !CIN = [A B] CIN + [A  B] !CIN • COUT = [A + B] CIN + [AB] !CIN THE CORRESPONDING CIRCUIT IS

  16. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DECODERS • A DECODER IS A CIRCUIT WITH N INPUTS AND 2N OUPTUTS. FOR EACH COMBINATION OF THE INPUTS, ONE AND ONLY ONE OUTPUTS IS ACTIVE. THE DEVICE CAN BE THOUGHT OF GENERATION ALL THE MINTEMS OF A BOOLEAN FUNCTION OF N VARIABLES. FOR N=3 IT IS REPRESENTED AS FOLLOWS 0 1 2 3 4 5 6 7 1-OUT-OF-8 DECODER S1 S2 S3 ENB

  17. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • DECODERS (CONTINUES) • EXAMPLE: DESIGN A FULL ADDER USING A 1-OUT-OT-8 DECODER. SUM = m(1,2,4,7) Cout = m(3,5,6,7) The circuit is

  18. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • LOOK-UP-TABLE LOGIC BLOCKS • A LOOK-UP-TABLE CIRCUIT, OR LUT, IS A MULTIPLEXER WITH ONE STORAGE CELL AT EACH INPUT DATA LINE. THESE STORAGE CELL ARE USED TO IMPLEMENT SMALL LOGIC FUNTIONS. EACH CELL HOLDS EITHER A 0 OR A 1. THE SIZE OF A LUT IS DEFINED BY THE NUMBER OF INPUTS, WHICH ARE THE SELECT LINES OF THE MULTIPLEXER. • EXAMPLE: A 3-LUT BUILT WITH AN 8 x 1 MUX • THE CONTENTS OF THE STORAGE CELLS ARE WRITTEN INSIDE THE RETANGLE. THIS CONTENTS IS THE TRUTH TABLE OF THE FUNCTION TO BE PRODUCED BY THE 3-LUT. 8 storage cells

  19. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • LOOK-UP-TABLE LOGIC BLOCKS (continues) • ANY 4-VARIABLE FUNCTION CAN BE PRODUCED WITH AT MOST THREE 3-LUTS. • EXAMPLE: Produce the function F = !BC+!AB!C+B!CD+A!B!D • The Shannon expansion with respect to A gives • F = !A R!A + A RA = !A(!BC + B!C) + A(!BC+ B!CD + !B!D) • NOTICE THAT F = !A R!A + A RAis of the form F = !a b + a c • and should be produced by the output LUT. • THE RESULTING CIRCUIT IS

  20. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • LOOK-UP-TABLE LOGIC BLOCKS (example continues) • EXAMPLE: Produce the function F = !BC+!AB!C+B!CD+A!B!D • The Shannon expansion with respect to B gives • F = !B R!B + B RB = !B(C + A!D) + B(!A!C+ !CD) • NOTICE THAT !R!B = RB AND, THEREFORE, ONLY TWO 3-LUTS ARE NEEDED. • THE RESULTING CIRCUIT IS • REMARK: AT THE PRESENT TIME, WE DO NOT KNOW ‘A PRIORI’ WHICH EXPANSION VARIABLE WILL PRODUCE THE MOST ECONOMICAL CIRCUIT. TRIAL AND ERROR METHOD IS THE BEST WE CAN DO.

  21. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • GENERAL SYNTHESIS METHOD • GIVEN A BUILDING BLOCK G(x,y,…,z), IMPLEMENT F(A,B,…,T,R) USING ONLY BLOCKS G.

  22. CIRCUIT SYNTHESIS USING BUILDING BLOCKS • GENERAL SYNTHESIS METHOD (CONTINUES) • IF F IS NOT ANY OF THE INPUT VARIABLES A,B,C,…,T,R, THEIR COMPLEMENTS OR CONSTANT 0 OR CONSTANT 1, THEN THE OUTPUT F MUST COME FROM THE OUTPUT OF A BUILDING BLOCK G. SOLVING F = G FOR X, Y,…,Z AS FUNCTIONS OF A,B,C,…T,R WILL DETERMINE THE INPUTS TO THE OUTPUT BLOCK. THE METHOD IS ITERATED UNTIL THE INPUT VARIABLES, THEIR COMPLEMENTS OR CONSTANTS 0, 1 ARE FOUND. • THIS METHOD IS INTENDED TO BE COMPUTERIZED AND USED AS PART OF A CAD SYSTEM

More Related