Implementational Concepts

  • Rolf Drechsler
  • Bernd Becker
Chapter

Abstract

The classical approach of coding BDD packages by recursive synthesis operations, i.e. If-Then-Else, is briefly reviewed [25, 19]. Then a new method based on dynamic reordering is considered [75, 76, 77]. Differences between the two approaches are discussed.

Keywords

Dust Liner 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • Rolf Drechsler
    • 1
  • Bernd Becker
    • 1
  1. 1.Albert-Ludwigs-UniversityFreiburgGermany

Personalised recommendations