|
Search the dblp DataBase
Kurt Shultz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
Modeling design constraints and biasing in simulation using BDDs. [Citation Graph (0, 0)][DBLP] ICCAD, 1999, pp:584-590 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ITC, 1996, pp:839-848 [Conf]
- Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
A Method for Synthesizing Boolean Constrains. [Citation Graph (0, 0)][DBLP] IWLS, 2002, pp:351-353 [Conf]
- Carl Pixley, Kurt Shultz, Jun Yuan
Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1061-1068 [Conf]
Search in 0.002secs, Finished in 0.002secs
|