Modeling design constraints and biasing in simulation using BDDs | IEEE Conference Publication | IEEE Xplore