Skip to main content
SpringerLink
Log in

Advanced Techniques in Logic Synthesis, Optimizations and Applications

  • Book
  • © 2011

Overview

Editors:
  1. Kanupriya Gulati

    1. Intel Corporation, Hillsboro, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Introduction

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

  3. Logic Decomposition

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    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
      Download chapter PDF

    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. A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving

      • Lei Fang, Michael S. Hsiao
      Pages 149-170

    5. Algorithms for Maximum Satisfiability Using Unsatisfiable Cores

      • Joao Marques-Sila, Jordi Planes
      Pages 171-182

  5. Boolean Matching

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    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
      Download chapter PDF

    2. Algebraic Techniques to Enhance Common Sub-expression Extraction for Polynomial System Synthesis

      • Sivaram Gopalakrishnan, Priyank Kalla
      Pages 251-266

    3. Automated Logic Restructuring with aSPFDs

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

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation