Skip to main content
  • Book
  • © 2011

Advanced Techniques in Logic Synthesis, Optimizations and Applications

  • 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
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 chapters)

  1. Front Matter

    Pages i-xxi
  2. Introduction

    • Sunil P. Khatri, Kanupriya Gulati
    Pages 1-6
  3. Logic Decomposition

    1. Front Matter

      Pages 7-7
    2. Logic Synthesis by Signal-Driven Decomposition

      • Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa
      Pages 9-29
    3. Sequential Logic Synthesis Using Symbolic Bi-decomposition

      • Victor N. Kravets, Alan Mishchenko
      Pages 31-45
    4. Boolean Factoring and Decomposition of Logic Networks

      • Robert Brayton, Alan Mishchenko, Satrajit Chatterjee
      Pages 47-66
    5. Ashenhurst Decomposition Using SAT and Interpolation

      • Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee
      Pages 67-85
    6. Bi-decomposition Using SAT and Interpolation

      • Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung
      Pages 87-105
  4. Boolean Satisfiability

    1. Front Matter

      Pages 107-107
    2. Boundary Points and Resolution

      • Eugene Goldberg, Panagiotis Manolios
      Pages 109-127
    3. SAT Sweeping with Local Observability Don’t-Cares

      • Qi Zhu, Nathan B. Kitchen, Andreas Kuehlmann, Alberto Sangiovanni-Vincentelli
      Pages 129-148
    4. Algorithms for Maximum Satisfiability Using Unsatisfiable Cores

      • Joao Marques-Sila, Jordi Planes
      Pages 171-182
  5. Boolean Matching

    1. Front Matter

      Pages 183-183
    2. Simulation and SAT-Based Boolean Matching for Large Boolean Networks

      • Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu
      Pages 185-201
    3. Logic Difference Optimization for Incremental Synthesis

      • Smita Krishnaswamy, Haoxing Ren, Nilesh Modi, Ruchir Puri
      Pages 203-225
    4. Large-Scale Boolean Matching

      • Hadi Katebi, Igor Markov
      Pages 227-247
  6. Logic Optimization

    1. Front Matter

      Pages 249-249
    2. Automated Logic Restructuring with aSPFDs

      • Yu-Shen Yang, Subarna Sinha, Andreas Veneris, Robert Brayton, Duncan Smith
      Pages 267-286

About this book

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.

Editors and Affiliations

  • Intel Corporation, Hillsboro, USA

    Kanupriya Gulati

Bibliographic Information

  • Book Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications

  • Editors: Kanupriya Gulati

  • DOI: https://doi.org/10.1007/978-1-4419-7518-8

  • Publisher: Springer New York, NY

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Science+Business Media, LLC 2011

  • Hardcover ISBN: 978-1-4419-7517-1

  • Softcover ISBN: 978-1-4899-8188-2

  • eBook ISBN: 978-1-4419-7518-8

  • Edition Number: 1

  • Number of Pages: XXI, 423

  • Topics: Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design

Buy it now

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 149.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access