{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

ece667-LSyn7-factored-forms

ece667-LSyn7-factored-forms - ECE 667 Spring 2009 Synthesis...

Info icon This preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
1 ECE 667 - Synthesis & Verification - Lecture 15 ECE 667 ECE 667 Spring 2009 Spring 2009 Synthesis and Verification of Digital Systems Multi-level Logic Minimization Multi-level Logic Minimization Factored Forms Factored Forms Slides adopted (with permission) from A. Kuehlmann, UC Berkeley 2003 Slides adopted (with permission) from A. Kuehlmann, UC Berkeley 2003
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
ECE 667 - Synthesis & Verification - Lecture 15 2 Outline Outline Factored forms Motivation: multi-level logic representation Definitions, theory, examples Manipulation of Boolean networks Algebraic (structural) vs Boolean methods Decomposition Extraction Factorization Substitution (elimination) Collapsing
Image of page 2
ECE 667 - Synthesis & Verification - Lecture 15 3 General Logic Structure General Logic Structure Combinational optimization (CL blocks) Keep latches/registers at current positions, keep their function Optimize combinational logic domains expressed as multi-level logic Need efficient representation of multi-level logic
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
ECE 667 - Synthesis & Verification - Lecture 15 4 Multi-level Logic Multi-level Logic Logic represented as a network of logic gates from cell library Multi-level logic optimization Logic decomposition and optimization Technology mapping
Image of page 4
ECE 667 - Synthesis & Verification - Lecture 15 5 Optimization Criteria for Synthesis Optimization Criteria for Synthesis The optimization criteria for multi-level logic is to minimize some function of: 1. Area occupied by the logic gates and interconnect (approximated by literals = transistors in technology independent optimization) 2. Critical path delay of the longest path through the logic 3. Degree of testability of the circuit, measured in terms of the percentage of faults covered by a specified set of test vectors for an approximate fault model (e.g. single or multiple stuck-at faults) 4. Power consumed by the logic gates 5. Noise Immunity 6. Physical design constraints
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
ECE 667 - Synthesis & Verification - Lecture 15 6 Transformation-based Synthesis Transformation-based Synthesis All modern synthesis systems are build that way set of transformations that change network representation work on uniform network representation “script” or “scenario” that can combine those transformations to a overall greedy Transformations differ in: the scope they are applied local scope versus global restructuring the domain they optimize combinational versus sequential timing versus area technology independent versus technology dependent the underlying algorithms they use BDD based, SAT based, structure based
Image of page 6
ECE 667 - Synthesis & Verification - Lecture 15 7 Global vs Local Transformations Global vs Local Transformations Global transformations restructure the entire network merging nodes spitting nodes removing/changing connections between nodes, etc.
Image of page 7

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern