Exploiting don't cares to minimize *BMDs

We present for the first time methods to minimize *BMDs exploiting don't care conditions. These minimization methods can be used during the verification of circuits by *BMDs. By changing function values for input vectors, which are in the don't care set, smaller *BMDs can be computed to keep peak memory consumption during *BMD construction as low as possible. Preliminary experimental results prove the methods to be very effective in minimizing *BMD sizes.