 | 2002 |
|---|
| 5 |       | Jun Yuan,
Kurt Shultz,
John Havlicek,
Ken Albin,
Adnan Aziz:
A Method for Synthesizing Boolean Constrains.
IWLS 2002: 351-353 |
| 2000 |
|---|
| 4 |  | Jun Yuan,
Kurt Shultz,
Carl Pixley,
Hillel Miller,
Adnan Aziz:
Automatic Vector Generation Using Constraints and Biasing.
J. Electronic Testing 16(1-2): 107-120 (2000) |
| 1999 |
|---|
| 3 | | Jun Yuan,
Kurt Shultz,
Carl Pixley,
Hillel Miller,
Adnan Aziz:
Modeling design constraints and biasing in simulation using BDDs.
ICCAD 1999: 584-590 |
| 2 | | Carl Pixley,
Kurt Shultz,
Jun Yuan:
Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.
PDPTA 1999: 1061-1068 |
| 1996 |
|---|
| 1 | | Carl Pixley,
Noel R. Strader,
W. C. Bruce,
Jaehong Park,
Matt Kaufmann,
Kurt Shultz,
Michael Burns,
Jainendra Kumar,
Jun Yuan,
Janet Nguyen:
Commercial Design Verification: Methodology and Tools.
ITC 1996: 839-848 |
