Skip to main content
SpringerLink
Log in

Switching Theory for Logic Synthesis

  • Book
  • © 1999

Overview

Authors:
  1. Tsutomu Sasao

    1. Kyushu Institute of Technology, Iizuka, Japan

    View author publications

    You can also search for this author in PubMed   Google Scholar

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (15 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Mathematical Foundation

    • Tsutomu Sasao
    Pages 1-16

  3. Lattice and Boolean Algebra

    • Tsutomu Sasao
    Pages 17-34

  4. Logic Functions and Their Representations

    • Tsutomu Sasao
    Pages 35-61

  5. Optimization of and-or Two-Level Logic Networks

    • Tsutomu Sasao
    Pages 63-91

  6. Logic Functions with Various Properties

    • Tsutomu Sasao
    Pages 93-116

  7. Sequential Networks

    • Tsutomu Sasao
    Pages 117-138

  8. Optimization of Sequential Networks

    • Tsutomu Sasao
    Pages 139-150

  9. Delay and Asynchronous Behavior

    • Tsutomu Sasao
    Pages 151-176

  10. Multi-Valued Input Two-Valued Output Function

    • Tsutomu Sasao
    Pages 177-199

  11. Heuristic Optimization of Two-Level Networks

    • Tsutomu Sasao
    Pages 201-228

  12. Multi-Level Logic Synthesis

    • Tsutomu Sasao
    Pages 229-261

  13. Logic Design Using Modules

    • Tsutomu Sasao
    Pages 263-288

  14. Logic Design Using Exors

    • Tsutomu Sasao
    Pages 289-310

  15. Complexity of Logic Networks

    • Tsutomu Sasao
    Pages 311-320

  16. History of Switching Theory

    • Tsutomu Sasao
    Pages 321-330

  17. Back Matter

    Pages 331-362
    Download chapter PDF
Back to top

Keywords

About this book

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation. Chapters 6 through 8 include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters 9 through 14 are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis: multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks.
An appendix providing a history of switching theory is included. The reference list consists of over four hundred entries.
Switching Theory for Logic Synthesis is based on the author's lectures at Kyushu Institute of Technology as well as seminars for CAD engineers from various Japanese technology companies.
Switching Theory for Logic Synthesis will be of interest to CAD professionals and students at the advanced level. It is also useful as a textbook, as each chapter contains examples, illustrations, and exercises.

Authors and Affiliations

  • Kyushu Institute of Technology, Iizuka, Japan

    Tsutomu Sasao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation