Modeling design constraints and biasing in simulation using BDDs.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Browse the full ICCAD paper archive.