Advertisement

AND/OR Reasoning Graphs

  • Wolfgang Kunz
  • Dominik Stoffel
Part of the Frontiers in Electronic Testing book series (FRET, volume 9)

Abstract

This chapter develops a general view of the recursive learning procedure of Chapter 3 and presents a generalization of the technique. The main focus is on the basic search process underlying recursive learning. It is shown that the search process in recursive learning is a special instance of an AND/OR search. This leads to a basic reasoning scheme in Boolean networks based on AND/OR reasoning graphs. AND/OR reasoning graphs can identify implications and implicants in multi-level circuits so that basic concepts of two-level circuit theory can be extended and applied to multi-level circuits. This chapter elaborates properties of AND/OR reasoning graphs that are useful in solving design automation problems. Applications will be described in Chapters 5 and 6.

Keywords

Boolean Function Product Term Boolean Network Binary Decision Diagram Combinational Circuit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • Wolfgang Kunz
    • 1
  • Dominik Stoffel
    • 1
  1. 1.University of PotsdamGermany

Personalised recommendations