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
    3. Jie-Hong Roland Jiang, Hsuan-Po Lin, Wei-Lun Hung
      Pages 287-307
    4. Jeff L. Cobb, Kanupriya Gulati, Sunil P. Khatri
      Pages 309-334
  7. Applications to Specialized Design Scenarios

    1. Front Matter
      Pages 335-335
    2. Weikang Qian, Marc D. Riedel, Kia Bazargan, David J. Lilja
      Pages 337-357
    3. Nasir Mohyuddin, Ehsan Pakbaznia, Massoud Pedram
      Pages 359-381
    4. Kalyana C. Bollapalli, Sunil P. Khatri, Laszlo B. Kish
      Pages 383-400
  8. Back Matter
    Pages 419-423

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
  • Buy this book on publisher's site