Summary: Modeling Design Constraints and Biasing in Simulation Using BDDs
Jun Yuan Kurt Shultz Carl Pixley
5918 W. Courtyard Dr.
Austin, TX 78730
1 Shenkar Str. E.
Herzelia 46120 Israel
University of Texas at Austin
Austin, TX 78712
Constraining and input biasing are frequently used techniques
in functional verification methodologies based on randomized
simulation generation. Constraints confine the simulation to a