1 / 60

Marek Perkowski’s Productions present:

Marek Perkowski’s Productions present:. Lectures on Logic Synthesis. Some slides come from various sources, including Adam Postula, Mark Schulz and U.C. Berkeley. ECE 572 Advanced Logic Synthesis. Dr Marek Perkowski mperkows@ee.pdx.edu http://www.ee.pdx.edu/~mperkows. Introduction Grading

loc
Download Presentation

Marek Perkowski’s Productions present:

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. Marek Perkowski’sProductions present: Lectures on Logic Synthesis Some slides come from various sources, including Adam Postula, Mark Schulz and U.C. Berkeley

  2. ECE 572Advanced Logic Synthesis Dr Marek Perkowski mperkows@ee.pdx.edu http://www.ee.pdx.edu/~mperkows • Introduction • Grading • What is this class about

  3. Do not take notes You will get all slides

  4. ECE 171 ECE 271 Logic Synthesis Design with VHDL/Verilog Formal Verification and Design Spring Spring PSU sequence of classes • This is a complete sequence related to digital logic design automation. Sequential Circuits Fall Winter Testing and Design for Test Fall Quantum Computing

  5. Objective of Subject • Students will have the understanding and experience of CAD/EDA techniques in combinational circuit design. • Students will be aware of state-of-the-art techniques in the realization of digital designs - specifically the use of Rapid Prototyping Techniques. • Students will learn modern EDA (Electronic Design Automation) approaches and fundamentals of building tools

  6. What in coming weeks? • Look to my WWW Page. • Review and Introduction. • Properties of functions (symmetry, unateness, etc). • Representations of Functions, Relations and State Machines. • Spectral approaches based on transforms and diagrams • Applications outside circuit design.

  7. Required Background • You require, and are assumed to know, the material presented to you in ECE 171 and ECE 271 or equivalent • This material covered basic Boolean algebra, truth tables, Karnaugh maps (K-maps), simple minimization techniques using Karnaugh maps, and some basic design skills in Boolean algebra. • Knowledge of programming in C, C++, Java, Basic, Lisp or similar language is useful but not a must. • Everybody will create animated PowerPoint presentations and his WWW Page with a new material and project descriptions.

  8. Review.What this part of the course covers. • Combinational Circuit Design • Review of Karnaugh Maps • Minimization of combinational logic circuits using Karnaugh Maps • CAD Techniques of combinational logic circuit minimization • Binary Decision Diagrams

  9. Review.What this part of the course covers(cont). • Combinational Circuit Design • Functional Decomposition • Graph Coloring and Set Covering Techniques • MSI building blocks: multiplexers, decoders, ROM’s and PLA’s • Arithmetic circuits • Introduction to data structures and optimization

  10. What is covered in the course? • Advanced Logic and Tools design • Advanced Decision Diagrams, • Two level minimization theory, graph coloring, Boolean Equations, implicit methods • Functional Decomposition • Reed-Muller Logic and Linearly Independent Logic

  11. Grading System • Homeworks = 45 % • Midterm 1 = 15 % • Midterm 2 = 15 % • Final Exam = 25 % • Final examination (3 Hours or take home) - Questions from all the course, but with emphasis on the second half of the course. • Midterm Examination (open book, in class) • Homeworks • Presentations of homeworks

  12. Remember that all exams are: Open Book Remember that I emphasize in this class not only hard work but also…. Creativity

  13. TEXTBOOKS • Strongly Recommended • Gary Hachtel and Fabio Somenzi, Logic Synthesis and Verification Algorithms, Kluwer Academic Publishers, 1996. • Randy Katz, Contemporary Logic Design, Benjamin/Cummings, 1994 • Perkowski and Mishchenko, 1999-2000 You will get in pieces • Useful • Capilano Computing, LogicWorks 3, 1995 (includes 3.5” diskette for Windows). This is a simulation program .

  14. Other Information • There is a WWW Home page for this subject. • Most PowerPoint 4.0 slides you see here, plus a Postscript printable version with 6 slides per page will be available. • Lectures will be available within 24 hours after the lecture is given (mainly because I will be completing the lectures on Sunday nights and Monday mornings prior to the lecture). • All sorts of other info will be there as well. • Class announcements will appear in the “class schedule” pages of this class at the WWW page of Marek Perkowski. • Assignment: Find this page using Google Engine. Type +Perkowski +Marek and next go to “Classes that I teach”

  15. Other Information • Send emails with questions. • I will post news for class students of this group. I presume that it is read within 2 or 3 working days. YOU ARE RESPONSIBLE FOR READING THE NEWS IN CLASS SCHEDULE LINK!

  16. Any Other Administrative Details? • ! Now is the time to ask

  17. Design Example:Hall Light Design

  18. Design Example:Hall Light Design • Problem Specification: • You are to design a device which will control the hall lights. There are two switches, one at each end of the hallway, and a light in the middle of the hall. The light can be turned on or off from either switch. • Give the truth table of the controller for this system. • Specify the truth table in its simplest form (ie, use a simplification or minimization technique).

  19. SolutionStep 1: Block Diagram • This is a BLOCK DIAGRAM of the system we are to design. • The aim of this diagram is to identify the INPUTS and OUTPUTS of the system - both for you the designer and for the customer as well. Discuss the design with the customer to ensure that this is what is desired (required).

  20. BLOCK DIAGRAMS:Some Homespun Philosophy • There needs to be some method of “sketching a solution on the back of an envelope”. • This is used to discuss the design with the customer and the other members of the design team. • Show ALL the INPUTS and OUTPUTS. When we come to sequential designs, this includes the clock signal.

  21. BLOCK DIAGRAMS:Some Homespun Philosophy • In practice, have the customer agree to this specification. Everything which follows depends upon this specification - if it is wrong then all your design efforts are wasted. • These basic ideas apply to any work you do as an engineer - ensure that the customer of your services knows what you are doing and what you have assumed.

  22. Step 2:Label the Inputs • We usually use acronyms for the names of the inputs and outputs. This saves typing, but may obscure the significance of a signal. Choose the acronyms carefully. • In this case, let us make the following assignments: • S1 for hall switch 1. • S2 for hall switch 2. • Z for the output to the light fitting. Z is the conventional symbol used to signify an output.

  23. Solution Step 3:Draw Up the Truth Table • TRUTH TABLES • These are the single most important item you will learn about in digital design. • Industrial designers VERY RARELY USE K-MAPS!!!! • K-Maps are a useful tool with which to gain experience in logic design, and to solve VERY SIMPLE minimization problems. • “Real Designers” use CAD packages on computers to perform logic minimization.

  24. TRUTH TABLES • For combinational circuits, we need to have a standard manner in using truth tables: • We usually enter the input combinations in increasing numerical value, start at the value 000...00 and working up to 111...11 • That is, we enter the values systematically.

  25. Initial Table Layout Note that the input entries are made first, and placed in increasing numerical order.

  26. Complete the Truth Table • When both switches are off the light is off. • When either switch is on, the light is on. • When both switches are on, the light is off.

  27. Step 4:Simplify the Truth Table • In this example, we were asked to simplify the truth table, if possible. • From your last course, you learnt of two possible techniques to simplify the truth table: • express the truth table as a (set of) symbolic equations, and use the laws of Boolean algebra to simplify the equation. • map the truth table onto a suitable (set of) K-map(s), and use the relevant techniques to simplify the truth table. • In practice, K-maps are always a simpler tool than symbolic equations, so that is what we use here.

  28. K-Map Realization • From previous courses, you will realize that there is nothing further that we can do to reduce the number of terms in the truth table, assuming the Sum of Products (SOP) realization.

  29. Solution • We accept this as the requested solution to our original design request.

  30. Circuit Realization This circuit is called a two- level AND-OR realizing the given function. It is also called SOP - Sum of Products S1 S2’ S1’ S2 The same circuit can be realized with single EXOR gate

  31. Circuit Realization with EXOR S1 S2

  32. Karnaugh Maps

  33. Minterms and Maxterms

  34. Natural number of the cell Karnaugh Map Gray Code 1 1 0 1 Gray code provides that the adjacent geometrically cells (minterms) are adjacent in sense of Hamming distance, they differ in one Boolean value only 0 1 1 1 0 0 1 0 1 0 1 1 True minterm False minterm

  35. The Next Step • Draw circuit. • Produce a schematic. • Test circuit. • Fix bugs, and update documentation. • Produce PCB. • Test ... • Package • Check with customer again! • Get Paid!!!!!!!!!

  36. Karnaugh Map Sum of Products Logic Draw and analyze the schematics The cover shown here is: X’Y’+X’Z’+ W’Y’Z+ W’XY+YZ’ This cover is not minimal

  37. A better cover has the following primes: +X’Y’ (essential) + YZ’ (essential) +W’XZ(non-essential) Karnaugh Map Observe that the grey prime is now redundant (X’Z’) Now you can prove that this cover is exact minimal solution

  38. INTRO: Covering, set covering, unate covering

  39. EXOR and ESOP Minimization Intro

  40. Karnaugh Map Exclusive Sum of Products Logic Draw and analyze the schematics 1 1 1 1 1 1 Exclusive Sum of Products Logic ESOP is the following: W’Y’YZ’ W’Z W’X’Z 1 1 1 1 Even/Odd Covering

  41. Exclusive Sum of Products Logic Improvement: W’Y’YZ’ W’Z W’X’Z = W’Y’  YZ’ W’Z(1  X’)= W’Y’  YZ’ W’ZX 1 1 1 1 1 1 This is the best ESOP and in this case also the same groups are used in the best SOP. This is because the groups are disjoint. 1 1 1 1

  42. Short Review of Exor Logic • A(B  C) = AB  AC • A+B = A  B  AB • A+B = A  B when AB = 0 • A  (B  C) = (A  B)  C • (A B) C = A (B C) • A+B = A  B  AB = A B(1 A) = A  BA’ • A  A = 0 • A  A’ = 1 • A  1=A’ • A’  1=A • A  0=A • A  B= B  A • A B = B A These rules are sufficient to minimize Exclusive Sum of Product expression for small number of variables We will use these rules in the class for all kinds of reversible, quantum, optical, etc. logic. Try to remember them or put them to your “creepsheet”.

More Related