Boolean function manipulation on a parallel system using BDDs