Summary: Modeling Design Constraints and Biasing in Simulation Using BDDs
Jun Yuan Kurt Shultz Carl Pixley
Motorola Inc.
5918 W. Courtyard Dr.
Austin, TX 78730
yuan,shultz,pixley @adttx.sps.mot.com
Hillel Miller
Motorola Inc.
1 Shenkar Str. E.
Herzelia 46120 Israel
hillelm@msil.sps.mot.com
Adnan Aziz
ECE Dept.
University of Texas at Austin
Austin, TX 78712
adnan@ece.utexas.edu
Abstract
Constraining and input biasing are frequently used techniques
in functional verification methodologies based on randomized
simulation generation. Constraints confine the simulation to a

Source: Aziz, Adnan - Department of Electrical and Computer Engineering, University of Texas at Austin

Collections: Computer Technologies and Information Sciences