Advertisement

Binary Decision Diagram for Symbolic Analysis

  • Guoyong Shi
  • Sheldon X.-D. Tan
  • Esteban Tlelo Cuautle
Chapter

Abstract

When digital integrated circuits emerged in the 1950s, finding efficient representations of logic functions was in great need. As the complexity of integrated circuits increased, testing the correctness of logic functions fabricated as integrated circuits became imperative.

Copyright information

© Springer Science+Business Media New York 2014

Authors and Affiliations

  • Guoyong Shi
    • 1
  • Sheldon X.-D. Tan
    • 2
  • Esteban Tlelo Cuautle
    • 3
  1. 1.School of MicroelectronicsShanghai Jiao Tong UniversityShanghaiChina
  2. 2.Department of Electrical EngineeringUniversity of CaliforniaRiversideUSA
  3. 3.INAOETonantzintlaMexico

Personalised recommendations