Kurt Shultz

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
A Method for Synthesizing Boolean Constrains. IWLS (2002)
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
Automatic Vector Generation Using Constraints and Biasing. J. Electron. Test. 16 (1-2) (2000)
Carl Pixley, Kurt Shultz, Jun Yuan
Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. PDPTA (1999)
Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
Modeling design constraints and biasing in simulation using BDDs. ICCAD (1999)
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)