Applications of BDDs in Integrated Circuit Design