Representation of Multi-Valued Functions

Abstract

In many practical applications related to digital system design, it is a basic technique to use ternary-valued functions containing don’t care. In this chapter, we discuss the methods for representing don’t care by using BDDs. These methods can be extended to represent multi-valued logic functions which deal with integer values.