Kurt Shultz

According to our database, Kurt Shultz authored at least 5 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

A Method for Synthesizing Boolean Constrains.

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2000

Automatic Vector Generation Using Constraints and Biasing.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

J. Electron. Test., 2000

1999

Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.

Carl Pixley, Kurt Shultz, Jun Yuan

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Modeling design constraints and biasing in simulation using BDDs.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1996

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, Janet Nguyen

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996