Advanced Techniques in Logic Synthesis, Optimizations and Applications

  • Kanupriya Gulati

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Sunil P. Khatri, Kanupriya Gulati
    Pages 1-6
  3. Logic Decomposition

    1. Front Matter
      Pages 7-7
    2. Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
      Pages 9-29
    3. Victor N. Kravets, Alan Mishchenko
      Pages 31-45
    4. Robert Brayton, Alan Mishchenko, Satrajit Chatterjee
      Pages 47-66
    5. Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee
      Pages 67-85
    6. Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
      Pages 87-105
  4. Boolean Satisfiability

    1. Front Matter
      Pages 107-107
    2. Eugene Goldberg, Panagiotis Manolios
      Pages 109-127
    3. Qi Zhu, Nathan B. Kitchen, Andreas Kuehlmann, Alberto Sangiovanni-Vincentelli
      Pages 129-148
    4. Joao Marques-Sila, Jordi Planes
      Pages 171-182
  5. Boolean Matching

    1. Front Matter
      Pages 183-183
    2. Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu
      Pages 185-201
    3. Smita Krishnaswamy, Haoxing Ren, Nilesh Modi, Ruchir Puri
      Pages 203-225
    4. Hadi Katebi, Igor Markov
      Pages 227-247
  6. Logic Optimization

    1. Front Matter
      Pages 249-249
    2. Yu-Shen Yang, Subarna Sinha, Andreas Veneris, Robert Brayton, Duncan Smith
      Pages 267-286

About this book


Advanced Techniques in Logic Synthesis, Optimizations and Applications Edited by: Sunil P Khatri Kanupriya Gulati This book covers recent advances in the field of logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. All of these topics are valuable to CAD engineers working in Logic Design, Logic Optimization, and Verification. Engineers seeking opportunities for optimizing VLSI integrated circuits will find this book as an invaluable reference, since there is no existing book that covers this material in a systematic fashion. •Covers the latest research in the areas of Boolean Matching, Logic Decomposition, Boolean Satisfiability •Serves as a single-source reference to key topics in logic synthesis, otherwise only available in disparate publications; •Describes a range of synthesis techniques and Applications of logic design.


Boolean Matching Boolean Satisfiability Integrated Circuit Design Logic Decomposition Logic Synthesis VLSI Design

Editors and affiliations

  • Kanupriya Gulati
    • 1
  1. 1.Intel CorporationHillsboroUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media, LLC 2011
  • Publisher Name Springer, New York, NY
  • eBook Packages Engineering
  • Print ISBN 978-1-4419-7517-1
  • Online ISBN 978-1-4419-7518-8
  • About this book