Commercial Design Verification: Methodology and Tools. - Carl Pixley; Noel R. Strader; William C. Bruce; Jaehong Park; Matt Kaufmann; Kurt Shultz; Michael Burns; Jainendra Kumar; Jun Yuan 007; Janet Nguyen (ITC, 1996)

Modeling design constraints and biasing in simulation using BDDs. - Jun Yuan 007; Kurt Shultz; Carl Pixley; Hillel Miller; Adnan Aziz (ICCAD, 1999)

Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. - Carl Pixley; Kurt Shultz; Jun Yuan 007 (PDPTA, 1999)

Automatic Vector Generation Using Constraints and Biasing. - Jun Yuan 007; Kurt Shultz; Carl Pixley; Hillel Miller; Adnan Aziz (J. Electron. Test., 2000)

A Method for Synthesizing Boolean Constrains. - Jun Yuan 007; Kurt Shultz; John Havlicek; Ken Albin; Adnan Aziz (IWLS, 2002)