Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modeling Design Constraints and Biasing in Simulation Using BDDs Jun Yuan Kurt Shultz Carl Pixley
 

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